Mathematics in Lean 日本語訳
============================

.. toctree::
   :numbered:
   :maxdepth: 2

   C01_Introduction
   C02_Basics
   C03_Logic
   C04_Sets_and_Functions
   C05_Elementary_Number_Theory
   C06_Structures
   C07_Hierarchies
   C08_Groups_and_Rings
   C09_Linear_Algebra
   C10_Topology
   C11_Differential_Calculus
   C12_Integration_and_Measure_Theory

.. toctree::
   :hidden:

   genindex

この翻訳について
----------------

この翻訳は有志による **非公式** 翻訳です．翻訳に際して分かりやすさのために表現を大きく変えた箇所があります．また，用語の訳が一般的でない・誤りを含む可能性があります．必要に応じて原文 `Mathematics in Lean <https://leanprover-community.github.io/mathematics_in_lean/index.html>`_ ( `GitHub <https://github.com/avigad/mathematics_in_lean_source>`_ )をご覧ください．

原文にはライセンスが無かったため，原著者より許諾をいただいて翻訳させていただいています．（ `Zulip chat <https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.E2.9C.94.20Translating.20.60Mathematics.20in.20Lean.60.20to.20Japanese/near/395294386>`_ ）

誤字脱字・内容の誤りの指摘・フォークからのPull Request・フォークによる翻訳の改変等歓迎いたします．ご指摘は `当該リポジトリ <https://github.com/s-taiga/MIL_ja>`_ にてIssue・Pull Requestで受け付けております．

翻訳に際して，機械翻訳サービス `DeepL翻訳 <https://www.deepl.com/ja/translator>`_ を参考にしました．

バージョン情報
--------------

この翻訳は原文のcommit `e3d23850cb3cea5016f98d5ca25160b9a74727b9 <https://github.com/avigad/mathematics_in_lean_source/commit/e3d23850cb3cea5016f98d5ca25160b9a74727b9>`_ に基づいています．