From dbd1a7ff50e83ab43b5cdf93c65a1852674af172 Mon Sep 17 00:00:00 2001 From: s-taiga Date: Mon, 4 Nov 2024 14:52:12 +0900 Subject: [PATCH] =?UTF-8?q?=E7=BF=BB=E8=A8=B3=E5=AE=8C=E4=BA=86?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Manual.lean | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Manual.lean b/Manual.lean index 5236e5f..4959d42 100644 --- a/Manual.lean +++ b/Manual.lean @@ -27,9 +27,13 @@ set_option pp.rawOnError true _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 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/) を参照してください。 {include Manual.Intro}