翻訳完了 (#2)

Author: s-taiga

Manual.lean

@@ -33,9 +33,13 @@ tag := "lean-language-reference"
 _CAUTION:_ This is an **Unofficial** translation by volunteers.
 The latest version of original is [here](https://lean-lang.org/doc/reference/latest/).
 
+:::comment
 This is the _Lean Language Reference_, an in-progress reference work on Lean.
 It is intended to be a comprehensive, precise description of Lean: a reference work in which Lean users can look up detailed information, rather than a tutorial intended for new users.
 For other documentation, please refer to the [Lean documentation site](https://lean-lang.org/documentation/).
+:::
+
+本書は **Lean 言語リファレンス** であり、Lean に関する執筆中のリファレンスです。本書は Lean についての包括的で正確な説明であることを意図しています：Lean のユーザが詳細な情報を調べることができる参考文献であって、新しいユーザのためのチュートリアルではありません。その他の文書については [Lean のドキュメントサイト](https://lean-lang.org/documentation/) を参照してください。
 
 This reference manual is not yet complete, but there's enough information to provide value to users.
 The top priority is to add the missing information as quickly as possible while staying up to date with Lean development.