Matematika dalam Lean — v4.30.0-id.3

Matematika dalam Lean — v4.30.0-id.3

Rilis lengkap Bahasa Indonesia (id-ID) dari Mathematics in Lean untuk
Lean 4.30.0.

Cakupan

• Seluruh buku: C01_Introduction sampai
  C13_Integration_and_Measure_Theory/S03_Integration.
• PDF terpusat dan direflow: 219 halaman.
• Repositori learner dengan latihan dan solusi Lean yang terverifikasi.
• Backend modular deterministik: 10.978 rekaman.
• QA terminologi Bahasa Indonesia: ruang topologi dan prapeta diterapkan
  secara konsisten pada sumber, pembaca, dan backend.
• Pembaca web tersedia melalui GitHub Pages.

Berkas rilis

PDF ditempatkan pertama, disusul paket sumber ringkas, backend modular,
lisensi, pemberitahuan pihak ketiga, manifes, dan checksum. Payload rilis ini
adalah 8 berkas / 8.839.346 byte.

Rilis preservasi lengkap 16 berkas / 19.864.356 byte tersedia pada
Zenodo 10.5281/zenodo.22062017.
Cermin reader-first juga tersedia pada
Figshare 10.6084/m9.figshare.33314793.v3.

Lisensi

Teks buku dan terjemahan: CC BY 4.0. Kode Lean, skrip, dan konfigurasi:
Apache-2.0. Komponen lain mengikuti THIRD_PARTY_NOTICES.md. Edisi ini
independen, tidak resmi, dan diproduksi dengan OpenAI Codex gpt-5.6-sol,
Ultra; tidak ada dukungan penulis atau komunitas Lean yang tersirat.

Matematika dalam Lean — v4.30.0-id.2

Matematika dalam Lean — v4.30.0-id.2

Rilis lengkap Bahasa Indonesia (id-ID) dari Mathematics in Lean untuk
Lean 4.30.0.

Cakupan

• Seluruh buku: C01_Introduction sampai
  C13_Integration_and_Measure_Theory/S03_Integration.
• PDF terpusat dan direflow: 219 halaman.
• Repositori learner dengan latihan dan solusi Lean yang terverifikasi.
• Backend modular deterministik: 10.876 rekaman.
• Pembaca web tersedia melalui GitHub Pages.

Berkas rilis

PDF ditempatkan pertama, disusul paket sumber ringkas, backend modular,
lisensi, pemberitahuan pihak ketiga, manifes, dan checksum. Payload rilis ini
adalah 8 berkas / 8.799.377 byte.

Rilis preservasi lengkap 16 berkas / 19.820.640 byte tetap tersedia pada
Zenodo 10.5281/zenodo.22059281.
Cermin reader-first juga tersedia pada
Figshare 10.6084/m9.figshare.33314793.v2.

Lisensi

Teks buku dan terjemahan: CC BY 4.0. Kode Lean, skrip, dan konfigurasi:
Apache-2.0. Komponen lain mengikuti THIRD_PARTY_NOTICES.md. Edisi ini
independen, tidak resmi, dan dibuat dengan bantuan Codex atas permintaan
Floris; tidak ada dukungan penulis atau komunitas Lean yang tersirat.