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.
Maelezo ya mchapishaji (Kiingereza)
Elan ni nini?
Programu Elan inachapishwa na Lean FRO. Ni programu ya chanzo huria ya Windows. Imeandikwa kwa Rust.
Usakinishaji na mahitaji
Mchapishaji hutoa visakinishi vya Portable kwa Windows ya 64-bit. Inafanya kazi bila kusakinishwa (portable).
Masasisho na historia ya matoleo
Toleo la sasa ni 4.2.4, lililotolewa 25 Agosti 2026. Historia ya matoleo inarudi nyuma hadi 30 Aprili 2025: matoleo 7, yote yakiwa na viungo vya faili rasmi. Hiyo ni takriban matoleo 5.3 kwa mwaka.
Umaarufu na aina za faili
Msimbo chanzo kwenye GitHub (leanprover/elan) una nyota 659.
Maelezo ya mradi kwenye GitHub: “The Lean version manager”
Faida / Hasara
Faida
- Chanzo huria: mtu yeyote anaweza kukagua na kujenga msimbo
- Portable: inafanya kazi bila kusakinishwa
Hasara
- Hakuna toleo asili la ARM64
Kwa ufupi: Elan ni zana ya chanzo huria ya Windows kwa kompyuta za 64-bit. Inaendelezwa kikamilifu.
Je, ni salama kupakua Elan?
- Faili inatolewa na github.com, kikoa cha mchapishaji mwenyewe
- Kiungo cha kupakua kinatumia HTTPS
- Hashi ya SHA256 imechapishwa, hivyo unaweza kuthibitisha faili:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Fungua ripoti ya VirusTotal ya hashi hii - Kiungo bado hakijakaguliwa
- Msimbo chanzo uko wazi kwa umma
- ExeAtlas haihifadhi, haifungi wala haibadilishi visakinishi
Mwongozo unaohusiana: Jinsi ya kukagua hashi ya SHA256 ya faili kwenye Windows
Matoleo ya karibuni
Matoleo yote 7 ›matoleo 7 katika mwaka 1 · takriban 5.3 kwa mwaka
| Toleo | Tarehe | Ukubwa | Faili |
|---|---|---|---|
| 4.2.4Jipya zaidi | 25 Agosti 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 Machi 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 Aprili 2025 | — | 64-bit ZIP |
Kusakinisha kwa mstari wa amri
Usakinishaji kimya ›winget install --id Lean.Elan -escoop install main/elanFaili za programu (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Mwongozo unaohusiana: Jinsi ya kutumia winget: sakinisha na sasisha programu
Taarifa
- Mchapishaji
- Lean FRO
- Leseni
- Apache-2.0
- Bei
- Bure
- Msimbo chanzo
- github.com/leanprover/elan
- Imeandikwa kwa
- Rust
- Inahitaji
- Windows 11 / 10
- Usanifu
- 64-bit
- Kisakinishi
- Portable
- Toleo
- 4.2.4
- Ilitolewa
- 25 Agosti 2026
- Iliongezwa kwenye orodha
- 4 Mei 2025
- Matoleo yaliyoorodheshwa
- 7
- Masasisho / mwaka
- 5.3
- Nyota za GitHub
- 659
- Forks za GitHub
- 60
- Tovuti
- github.com
- Kitambulisho cha winget
- Lean.Elan
- Kifurushi cha Scoop
- main/elan
Ukadiriaji na maoni
Bado hakuna maoni. Kuwa wa kwanza kuikadiria.
Maswali yanayoulizwa mara kwa mara
Je, Elan ni bure?
Ndiyo. Elan ni programu ya chanzo huria chini ya leseni ya Apache-2.0.
Je, ni salama kupakua Elan?
Faili inapakuliwa kutoka github.com, ambayo ni ya mchapishaji mwenyewe; ExeAtlas haihifadhi wala haibadilishi faili. Linganisha hashi yake ya SHA256 na ile iliyoonyeshwa hapa, au fungua ripoti ya VirusTotal ya hashi hiyo.
Jinsi ya kusakinisha Elan kwa winget?
Fungua PowerShell au Windows Terminal na uendeshe amri ya winget iliyoonyeshwa kwenye ukurasa huu. winget hupakua kisakinishi rasmi na kukagua hashi yake ya SHA256 kabla ya kukiendesha.
Je, Elan inafanya kazi kwenye ARM (Windows on Arm)?
Hakuna toleo la ARM64; Windows 11 on Arm inaweza kuendesha toleo la 64-bit kupitia uigaji (emulation).
Wapi pa kupakua toleo la zamani la Elan?
Ukurasa wa matoleo unaorodhesha matoleo 7 yote pamoja na viungo vya faili rasmi za kisakinishi, kuanzia 30 Aprili 2025.
Je, Elan inaweza kutumika bila haki za msimamizi?
Ndiyo, ni portable: fungua kumbukumbu (archive) na uiendeshe.
