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.
Väljaandja kirjeldus (inglise)
Mis on Elan?
Programm Elan on avatud lähtekoodiga tarkvara Windowsile, mille väljaandja on Lean FRO. Programmeerimiskeel: Rust.
Paigaldamine ja nõuded
Väljaandja pakub paigaldusfaile vormingus Portatiivne; saadaval on 64-bitine versioon. Programm töötab ilma paigaldamata (portatiivne).
Uuendused ja versiooniajalugu
Uusim versioon on 4.2.4, avaldatud 25. august 2026. Versiooniajalugu ulatub kuupäevani 30. aprill 2025: 7 väljalaset, kõik seotud ametlike failidega. See teeb umbes 5,3 väljalaset aastas.
Populaarsus ja failitüübid
Lähtekoodil GitHubis (leanprover/elan) on 659 tähte.
Projekti kirjeldus GitHubis: “The Lean version manager”
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Portatiivne: töötab ilma paigaldamata
Miinused
- Natiivne ARM64-versioon puudub
Kokkuvõttes: Elan on avatud lähtekoodiga Windowsi tööriist (64-bitine). Seda arendatakse aktiivselt.
Kas programmi Elan allalaadimine on ohutu?
- Faili jagab github.com, väljaandja enda domeen
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Kõik 7 versiooni ›7 versiooni 1 aasta jooksul · umbes 5,3 aastas
| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 4.2.4Uusim | 25. august 2026 | — | 64-bitine ZIP |
| 4.2.3 | 8. juuni 2026 | — | 64-bitine ZIP |
| 4.2.2 | 28. mai 2026 | — | 64-bitine ZIP |
| 4.2.1 | 18. märts 2026 | — | 64-bitine ZIP |
| 4.2.0 | 25. veebruar 2026 | — | 64-bitine ZIP |
| 4.1.2 | 26. mai 2025 | — | 64-bitine ZIP |
| 4.1.1 | 30. aprill 2025 | — | 64-bitine ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›winget install --id Lean.Elan -escoop install main/elanProgrammifailid (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Teave
- Väljaandja
- Lean FRO
- Litsents
- Apache-2.0
- Hind
- Tasuta
- Lähtekood
- github.com/leanprover/elan
- Programmeerimiskeel
- Rust
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine
- Paigaldaja
- Portatiivne
- Versioon
- 4.2.4
- Avaldatud
- 25. august 2026
- Lisatud kataloogi
- 4. mai 2025
- Versioone kataloogis
- 7
- Uuendusi aastas
- 5,3
- GitHubi tähed
- 659
- GitHubi harud (forks)
- 60
- Veebileht
- github.com
- winget ID
- Lean.Elan
- Scoopi pakett
- main/elan
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Korduma kippuvad küsimused
Kas Elan on tasuta?
Jah. Elan on avatud lähtekoodiga tarkvara (litsents Apache-2.0).
Kas programmi Elan allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com, mis kuulub väljaandjale; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kuidas paigaldada programmi Elan wingetiga?
Ava PowerShell või Windows Terminal ja käivita sellel lehel näidatud winget-käsk. winget laadib alla ametliku paigaldusfaili ja kontrollib enne käivitamist selle SHA256-räsi.
Kas Elan töötab ARM-protsessoriga (Windows on Arm)?
ARM64-versiooni pole; Windows 11 on Arm saab 64-bitine versiooni käivitada emulatsiooni abil.
Kust saab alla laadida programmi Elan vanema versiooni?
Versioonide lehel on kõik 7 versiooni koos linkidega ametlikele paigaldusfailidele; vanim neist on avaldatud 30. aprill 2025.
Kas programmi Elan saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
