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

Terjemahan Bahasa Indonesia dari *Mathematics in Lean* karya Jeremy Avigad
dan Patrick Massot. Teks meliputi bab 1–13, dari pengantar Lean sampai
integrasi dan teori ukuran, dengan contoh, latihan dan solusi Lean.

Terjemahan AI: OpenAI Codex gpt-5.6-sol, Ultra. Edisi v4.30.0-id.3,
22 Agustus 2026. Sumber Inggris: ``mathematics_in_lean`` commit
``dd6d752fedb14082f557913c2dccb2d4851e5173`` dan sumber authoring commit
``8e112cd63ff1bf2a1020ff88f22f77288e42b9a9``.

Teks dan terjemahan: CC BY 4.0. Kode Lean dan konfigurasi: Apache-2.0.
Lisensi komponen lainnya tercantum dalam THIRD_PARTY_NOTICES.md.
Rujukan istilah Bahasa Indonesia: Natanael Karjanto, arXiv:2001.05854.
Edisi ini tidak resmi dan tidak ditinjau atau disahkan oleh para penulis,
Lean, Mathlib ataupun leanprover-community.

.. 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