Matematika dalam Lean
=====================

.. rubric:: Tentang edisi Bahasa Indonesia

Ini adalah terjemahan Bahasa Indonesia yang independen dari *Mathematics in
Lean* karya Jeremy Avigad dan Patrick Massot. Edisi sumber yang menjadi dasar
terjemahan ini adalah repositori resmi ``mathematics_in_lean`` pada commit
``dd6d752fedb14082f557913c2dccb2d4851e5173`` (diamati 20 Agustus 2026).
Edisi Bahasa Indonesia ini diterbitkan sebagai ``v4.30.0-id.3`` pada 22 Agustus
2026.

Teks buku sumber dilisensikan menurut `Creative Commons Attribution 4.0
International <https://creativecommons.org/licenses/by/4.0/>`_; kode Lean dan
kode repositori dilisensikan menurut `Apache License 2.0
<https://www.apache.org/licenses/LICENSE-2.0>`_. Perubahan pada edisi ini
mencakup penerjemahan ke ``id-ID``, pelokalan antarmuka pembaca, koreksi
terdokumentasi, dan reflow PDF agar halaman terbaca serta terpusat. Provenans
terjemahan: OpenAI Codex gpt-5.6-sol, Ultra. Pekerjaan ini dilakukan atas
permintaan pengguna. QA terminologi versi ini menggunakan TeX Bahasa Indonesia
asli pada arXiv:2001.05854 karya Natanael Karjanto sebagai sumber pembanding.

Edisi ini bukan rilis resmi, belum ditinjau oleh para penulis, dan tidak
menyiratkan dukungan dari para penulis, Lean, Mathlib, ataupun
``leanprover-community``. Sumber resmi berbahasa Inggris tersedia di
`repositori hulu <https://github.com/leanprover-community/mathematics_in_lean>`_
dan pada `pembaca resmi
<https://leanprover-community.github.io/mathematics_in_lean/>`_.

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

   C01_Introduction
   C02_Basics
   C03_Logic
   C04_Sets_and_Functions
   C05_Elementary_Number_Theory
   C06_Discrete_Mathematics
   C07_Structures
   C08_Hierarchies
   C09_Groups_and_Rings
   C10_Linear_Algebra
   C11_Topology
   C12_Differential_Calculus
   C13_Integration_and_Measure_Theory

.. toctree::
   :hidden:

   genindex