15. この翻訳について

この翻訳は有志による 非公式 翻訳です。翻訳に際して分かりやすさのために表現を大きく変えた箇所があります。また、用語の訳が一般的でない・誤りを含む可能性があります。必要に応じて原文 Lean Language Reference(GitHub)をご覧ください。

原文にはライセンスが無かったため、原著者様より許諾をいただいて翻訳させていただいています。（Zulip Chat）。

誤字脱字・内容の誤りの指摘・フォークからのPull Request・フォークによる翻訳の改変等歓迎いたします。ご指摘は 当該リポジトリ にてIssue・Pull Requestで受け付けております。

翻訳に際して、機械翻訳サービス DeepL翻訳 を参考にしました。

この翻訳は原文のcommit ade9c553a5ab008113cf33f88ced657c5146fe24 に基づいています。