elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
Deskripsi dari penerbit (Inggris)
Apa itu Elan?
Diterbitkan oleh Lean FRO, Elan merupakan software open source untuk Windows. Program ini ditulis dengan Rust.
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.2.4, dirilis pada 25 Agustus 2026. Riwayat versinya dimulai pada 30 April 2025: 7 rilis, semuanya tertaut ke file resmi. Artinya, rata-rata ada sekitar 5,3 rilis per tahun.
Popularitas dan jenis file
Kode sumbernya di GitHub (leanprover/elan) mendapat 659 bintang.
Deskripsi proyek di GitHub: “The Lean version manager”
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Portabel: berjalan tanpa instalasi
Kekurangan
- Tidak ada versi ARM64 native
Singkatnya: Elan adalah aplikasi Windows yang open source untuk PC 64-bit. Program ini rutin diperbarui.
Apakah Elan aman diunduh?
- File disediakan oleh github.com, domain milik penerbit
- Tautan download menggunakan HTTPS
- Hash SHA256 tersedia, sehingga file bisa diverifikasi:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· 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
Rilis terakhir
Semua 7 versi ›7 versi dalam 1 tahun · sekitar 5,3 rilis per tahun
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 4.2.4Terbaru | 25 Agustus 2026 | — | 64-bit ZIP |
| 4.2.3 | 8 Juni 2026 | — | 64-bit ZIP |
| 4.2.2 | 28 Mei 2026 | — | 64-bit ZIP |
| 4.2.1 | 18 Maret 2026 | — | 64-bit ZIP |
| 4.2.0 | 25 Februari 2026 | — | 64-bit ZIP |
| 4.1.2 | 26 Mei 2025 | — | 64-bit ZIP |
| 4.1.1 | 30 April 2025 | — | 64-bit ZIP |
Instalasi lewat command line
Instalasi senyap ›winget install --id Lean.Elan -escoop install main/elanFile program (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Panduan terkait: Cara pakai winget: instal dan update aplikasi
Informasi
- Penerbit
- Lean FRO
- Lisensi
- Apache-2.0
- Harga
- Gratis
- Kode sumber
- github.com/leanprover/elan
- Bahasa pemrograman
- Rust
- Persyaratan
- Windows 11 / 10
- Arsitektur
- 64-bit
- Installer
- Portabel
- Versi
- 4.2.4
- Tanggal rilis
- 25 Agustus 2026
- Masuk katalog
- 4 Mei 2025
- Versi tercatat
- 7
- Pembaruan / tahun
- 5,3
- Bintang GitHub
- 659
- Fork GitHub
- 60
- Situs web
- github.com
- ID winget
- Lean.Elan
- Paket Scoop
- main/elan
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Pertanyaan yang sering diajukan
Apakah Elan gratis?
Ya. Elan adalah software open source berlisensi Apache-2.0.
Apakah Elan 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 Elan 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 Elan 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 Elan versi lama?
Halaman versi mencantumkan seluruh 7 versi beserta tautan ke file installer resminya, mundur hingga 30 April 2025.
Apakah Elan bisa dipakai tanpa hak administrator?
Ya, program ini portabel: cukup ekstrak lalu jalankan.
