Matematika dalam Lean — Edisi Bahasa Indonesia

Terjemahan Bahasa Indonesia yang independen dan tidak resmi dari Mathematics in Lean untuk Lean 4 dan Mathlib. Rilis ini mencakup repositori learner interaktif, pembaca HTML/PDF yang direflow, serta backend modular JSON/JSONL/CSV. Versi 3 menjalankan QA terminologi terhadap TeX Bahasa Indonesia asli pada arXiv:2001.05854, menyelaraskan prapeta dan ruang topologi, serta melengkapi glosarium kalkulus dan teori ukuran. Provenans terjemahan: OpenAI Codex gpt-5.6-sol, Ultra. Pekerjaan ini dilakukan atas permintaan pengguna dan tidak menyiratkan dukungan dari para penulis atau leanprover-community. Teks utama berlisensi CC BY 4.0; kode dan konfigurasi berlisensi Apache-2.0; komponen lain dipetakan dalam pemberitahuan pihak ketiga.