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 izdajatelja (angleščina)
Kaj je Elan?
Program Elan je odprtokodna programska oprema za Windows. Izdaja ga Lean FRO. Programski jezik: Rust.
Namestitev in sistemske zahteve
Izdajatelj ponuja namestitvene datoteke vrste Prenosna različica za sisteme 64-bitno. Program deluje brez namestitve (prenosna različica).
Posodobitve in zgodovina različic
Najnovejša različica je 4.2.4, izdana 25. avgust 2026. Zgodovina različic sega do 30. april 2025: skupaj 7 izdaj, vse s povezavami do uradnih datotek. Pogostost izdaj: približno 5,3 na leto.
Priljubljenost in vrste datotek
Izvorna koda na GitHubu (leanprover/elan) ima 659 zvezdic.
Opis projekta na GitHubu: “The Lean version manager”
Prednosti / Slabosti
Prednosti
- Odprta koda: vsakdo jo lahko pregleda in sam prevede
- Prenosna različica: deluje brez namestitve
Slabosti
- Ni izvorne različice ARM64
Na kratko: Elan je odprtokoden program za Windows, na voljo za 64-bitno. Redno se posodablja.
Je prenos programa Elan varen?
- Datoteka se prenese z domene izdajatelja (github.com)
- Povezava za prenos uporablja HTTPS
- Objavljena je zgoščena vrednost SHA256, zato je datoteko mogoče preveriti:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Odpri poročilo VirusTotal za to zgoščeno vrednost - Povezava še ni bila preverjena
- Izvorna koda je javna
- ExeAtlas namestitvenih datotek ne gosti, ne ovija in ne spreminja
Povezan vodnik: Kako v sistemu Windows preveriti SHA256 datoteke
Najnovejše različice
Vse različice (7) ›7 različic v 1 letu · približno 5,3 na leto
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 4.2.4Najnovejša | 25. avgust 2026 | — | 64-bitno ZIP |
| 4.2.3 | 8. junij 2026 | — | 64-bitno ZIP |
| 4.2.2 | 28. maj 2026 | — | 64-bitno ZIP |
| 4.2.1 | 18. marec 2026 | — | 64-bitno ZIP |
| 4.2.0 | 25. februar 2026 | — | 64-bitno ZIP |
| 4.1.2 | 26. maj 2025 | — | 64-bitno ZIP |
| 4.1.1 | 30. april 2025 | — | 64-bitno ZIP |
Namestitev iz ukazne vrstice
Tiha namestitev ›winget install --id Lean.Elan -escoop install main/elanProgramske datoteke (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Povezan vodnik: Kako uporabljati winget: namestitev in posodobitve
Informacije
- Izdajatelj
- Lean FRO
- Licenca
- Apache-2.0
- Cena
- Brezplačno
- Izvorna koda
- github.com/leanprover/elan
- Programski jezik
- Rust
- Zahteve
- Windows 11 / 10
- Arhitektura
- 64-bitno
- Namestitvena datoteka
- Prenosna različica
- Različica
- 4.2.4
- Izdano
- 25. avgust 2026
- Dodano v katalog
- 4. maj 2025
- Število različic
- 7
- Posodobitev na leto
- 5,3
- Zvezdice na GitHubu
- 659
- Razcepi na GitHubu
- 60
- Spletna stran
- github.com
- ID winget
- Lean.Elan
- Paket Scoop
- main/elan
Ocene in mnenja
Mnenj še ni. Lahko ste prvi, ki oceni program.
Pogosta vprašanja
Je program Elan brezplačen?
Da. Elan je odprtokoden program (licenca Apache-2.0), ki ga je mogoče brezplačno prenesti in uporabljati.
Je prenos programa Elan varen?
Datoteka se prenese z domene github.com, ki pripada izdajatelju; ExeAtlas datoteke ne gosti in je ne spreminja. Zgoščeno vrednost SHA256 prenesene datoteke primerjajte s tisto na tej strani ali odprite poročilo VirusTotal za to vrednost.
Kako namestiti Elan z wingetom?
Odprite PowerShell ali Windows Terminal in zaženite ukaz winget s te strani. winget prenese uradno namestitveno datoteko in pred zagonom preveri njeno zgoščeno vrednost SHA256.
Ali Elan deluje na procesorjih ARM (Windows on Arm)?
Različice ARM64 ni; Windows 11 on Arm lahko različico 64-bitno zažene z emulacijo.
Kje prenesti starejše različice programa Elan?
Na strani z različicami so povezave do uradnih namestitvenih datotek vseh različic (7), od 30. april 2025 naprej.
Ali je program Elan mogoče uporabljati brez skrbniških pravic?
Da, gre za prenosno različico: arhiv je dovolj razpakirati in program zagnati.
