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.
Opis izdavača (engleski)
Šta je Elan?
Program Elan je softver za Windows otvorenog koda. Objavljuje ga Lean FRO. Programski jezik: Rust.
Instalacija i sistemski zahtevi
Izdavač nudi instalacione fajlove tipa Portabl verzija za sisteme 64-bit. Program radi bez instalacije (portabl verzija).
Ažuriranja i istorija verzija
Najnovija verzija je 4.2.4, objavljena 25. avgust 2026. Istorija verzija seže do 30. april 2025.: ukupno 7 izdanja, sva sa linkovima ka zvaničnim fajlovima. To je oko 5,3 izdanja godišnje.
Popularnost i tipovi fajlova
Izvorni kod na GitHubu (leanprover/elan) ima 659 zvezdica.
Opis projekta na GitHubu: “The Lean version manager”
Prednosti / Nedostaci
Prednosti
- Otvoreni kod: svako ga može pregledati i sam kompajlirati
- Portabl verzija: radi bez instalacije
Nedostaci
- Nema izvorne ARM64 verzije
Ukratko: Elan je program za Windows otvorenog koda, dostupan za 64-bit. Redovno se ažurira.
Da li je preuzimanje programa Elan bezbedno?
- Fajl se preuzima sa domena izdavača (github.com)
- Link za preuzimanje koristi HTTPS
- Objavljen je SHA256 heš, pa se fajl može proveriti:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Otvori VirusTotal izveštaj za ovaj heš - Link još nije proveren
- Izvorni kod je javan
- ExeAtlas ne čuva, ne pakuje u omotače i ne menja instalacione fajlove
Povezano uputstvo: Kako proveriti SHA256 heš fajla na Windowsu
Najnovije verzije
Sve verzije (7) ›7 verzija za 1 godinu · oko 5,3 godišnje
| Verzija | Datum | Veličina | Fajlovi |
|---|---|---|---|
| 4.2.4Najnovija | 25. avgust 2026. | — | 64-bit ZIP |
| 4.2.3 | 8. jun 2026. | — | 64-bit ZIP |
| 4.2.2 | 28. maj 2026. | — | 64-bit ZIP |
| 4.2.1 | 18. mart 2026. | — | 64-bit ZIP |
| 4.2.0 | 25. februar 2026. | — | 64-bit ZIP |
| 4.1.2 | 26. maj 2025. | — | 64-bit ZIP |
| 4.1.1 | 30. april 2025. | — | 64-bit ZIP |
Instalacija iz komandne linije
Tiha instalacija ›winget install --id Lean.Elan -escoop install main/elanProgramski fajlovi (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Povezano uputstvo: Kako koristiti winget: instalacija i ažuriranje
Informacije
- Izdavač
- Lean FRO
- Licenca
- Apache-2.0
- Cena
- Besplatno
- Izvorni kod
- github.com/leanprover/elan
- Programski jezik
- Rust
- Zahtevi
- Windows 11 / 10
- Arhitektura
- 64-bit
- Instalacioni fajl
- Portabl verzija
- Verzija
- 4.2.4
- Objavljeno
- 25. avgust 2026.
- Dodato u katalog
- 4. maj 2025.
- Broj verzija
- 7
- Ažuriranja godišnje
- 5,3
- Zvezdice na GitHubu
- 659
- Forkovi na GitHubu
- 60
- Veb-sajt
- github.com
- winget ID
- Lean.Elan
- Scoop paket
- main/elan
Ocene i recenzije
Još nema recenzija. Ocenu možete ostaviti prvi.
Česta pitanja
Da li je program Elan besplatan?
Da. Elan je program otvorenog koda (licenca Apache-2.0) i može se besplatno preuzeti i koristiti.
Da li je preuzimanje programa Elan bezbedno?
Fajl se preuzima sa domena github.com, koji pripada izdavaču; ExeAtlas fajl ne čuva i ne menja. Uporedite SHA256 heš preuzetog fajla sa onim na ovoj stranici ili otvorite VirusTotal izveštaj za taj heš.
Kako instalirati Elan preko wingeta?
Otvorite PowerShell ili Windows Terminal i pokrenite winget komandu sa ove stranice. winget preuzima zvanični instalacioni fajl i pre pokretanja proverava njegov SHA256 heš.
Da li Elan radi na ARM procesorima (Windows on Arm)?
ARM64 verzija ne postoji; Windows 11 on Arm može da pokrene verziju 64-bit putem emulacije.
Gde preuzeti starije verzije programa Elan?
Na stranici sa verzijama nalaze se linkovi ka zvaničnim instalacionim fajlovima svih verzija (7), počev od 30. april 2025.
Može li se program Elan koristiti bez administratorskih prava?
Da, to je portabl verzija: dovoljno je raspakovati arhivu i pokrenuti program.
