Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Deskripsi dari penerbit (Inggris)
Apa itu Lean?
Diterbitkan oleh Lean FRO, Lean merupakan software open source untuk Windows yang termasuk kategori IDE & editor kode. Program ini ditulis dengan Lean.
Instalasi dan persyaratan sistem
Penerbit menyediakan installer Portabel untuk sistem 64-bit. Program ini bisa dijalankan tanpa instalasi (portabel).
Pembaruan dan riwayat versi
Versi terbaru saat ini adalah 4.35.0, dirilis pada 12 Oktober 2026. Riwayat versinya dimulai pada 1 Mei 2025: 24 rilis, semuanya tertaut ke file resmi. Artinya, rata-rata ada sekitar 17 rilis per tahun. Pembaruan terakhir dirilis kurang dari sebulan yang lalu.
Popularitas dan jenis file
Kode sumbernya di GitHub (leanprover/lean4) mendapat 9.626 bintang. Program serupa antara lain OpenCode, RStudio dan Node.js (LTS).
Deskripsi proyek di GitHub: “Lean 4 programming language and theorem prover”
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Portabel: berjalan tanpa instalasi
- Sering diperbarui (sekitar 17 kali per tahun)
- Jumlah pengguna besar
Kekurangan
- Tidak ada versi ARM64 native
Singkatnya: Lean adalah aplikasi kategori IDE & editor kode yang open source untuk PC 64-bit. Program ini rutin diperbarui.
Apakah Lean aman diunduh?
- File disediakan oleh github.com, domain milik penerbit
- Tautan download menggunakan HTTPS
- Hash SHA256 tersedia, sehingga file bisa diverifikasi:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Buka laporan VirusTotal untuk hash ini - Tautan belum dicek
- Kode sumbernya terbuka untuk umum
- ExeAtlas tidak menyimpan, membungkus, atau mengubah installer
Panduan terkait: Cara cek hash SHA256 file di Windows
Praktik keamanan (OpenSSF Scorecard)
Pemeriksaan otomatis oleh Open Source Security Foundation terhadap repositori leanprover/lean4 di GitHub, terakhir dijalankan pada 19 Oktober 2026.
- Aktif dikelola10
- Tanpa workflow berbahaya10
- Lisensi dicantumkan10
- Tanpa file biner di repositori10
- Dependensi dikunci versinya4
- Review kode1
- Izin token dibatasi0
- Lencana OpenSSF Best Practices0
- Kebijakan keamanan0
- Fuzzing0
- Rilis bertanda tangan0
- Analisis kode statis0
Skor ini menilai cara proyek dikembangkan dan dirilis, bukan apakah program aman untuk diinstal. scorecard.dev
Rilis terakhir
Semua 24 versi ›24 versi dalam 1 tahun · sekitar 17 rilis per tahun
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 4.35.0Terbaru | 12 Oktober 2026 | — | 64-bit ZIP |
| 4.34.1 | 24 September 2026 | — | 64-bit ZIP |
| 4.34.0 | 14 September 2026 | — | 64-bit ZIP |
| 4.33.1 | 21 Agustus 2026 | — | 64-bit ZIP |
| 4.33.0 | 10 Agustus 2026 | — | 64-bit ZIP |
| 4.32.2 | 28 Juli 2026 | — | 64-bit ZIP |
| 4.32.1 | 22 Juli 2026 | — | 64-bit ZIP |
| 4.32.0 | 13 Juli 2026 | — | 64-bit ZIP |
Instalasi lewat command line
Instalasi senyap ›winget install --id Lean.Lean -eFile program (.exe): lean.exe, leanc.exe
Panduan terkait: Cara pakai winget: instal dan update aplikasi
Informasi
- Penerbit
- Lean FRO
- Kategori
- IDE & editor kode
- Lisensi
- Apache-2.0
- Harga
- Gratis
- Kode sumber
- github.com/leanprover/lean4
- Bahasa pemrograman
- Lean
- Persyaratan
- Windows 11 / 10
- Arsitektur
- 64-bit
- Installer
- Portabel
- Versi
- 4.35.0
- Tanggal rilis
- 12 Oktober 2026
- Masuk katalog
- 6 Mei 2025
- Versi tercatat
- 24
- Pembaruan / tahun
- 16,6
- Bintang GitHub
- 9.626
- Fork GitHub
- 1.059
- Situs web
- lean-lang.org
- ID winget
- Lean.Lean
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Alternatif Lean
Lihat semua ›-
Open source285,2 rb ↓ -
Open source705,1 rb ↓ -
Open source4,9 jt ↓ -
Open source88,8 rb ↓ -
Open source49,7 rb ↓ -
Open source394,5 rb ↓ -
Open source79,2 rb ↓ -
Open source94,6 rb ↓
Pertanyaan yang sering diajukan
Apakah Lean gratis?
Ya. Lean adalah software open source berlisensi Apache-2.0.
Apakah Lean aman diunduh?
File download berasal dari github.com, domain milik penerbit; ExeAtlas tidak menyimpan atau mengubah file tersebut. Cocokkan hash SHA256 file tersebut dengan yang tertera di sini, atau buka laporan VirusTotal untuk hash itu.
Bagaimana cara menginstal Lean dengan winget?
Buka PowerShell atau Windows Terminal, lalu jalankan perintah winget yang tertera di halaman ini. winget mengunduh installer resmi dan memeriksa hash SHA256-nya sebelum menjalankannya.
Apakah Lean bisa berjalan di prosesor ARM (Windows on Arm)?
Tidak ada versi ARM64; Windows 11 on Arm dapat menjalankan versi 64-bit melalui emulasi.
Di mana download Lean versi lama?
Halaman versi mencantumkan seluruh 24 versi beserta tautan ke file installer resminya, mundur hingga 1 Mei 2025.
Apakah Lean bisa dipakai tanpa hak administrator?
Ya, program ini portabel: cukup ekstrak lalu jalankan.
Apa saja alternatif Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans dan Haxe. Halaman alternatif membandingkan semuanya.
