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.
Descrierea dezvoltatorului (engleză)
Ce este Elan?
Publicat de Lean FRO, Elan este un software open source pentru Windows. Este scris în Rust.
Instalare și cerințe
Dezvoltatorul oferă instalatoare Portabil pentru Windows pe 64 de biți. Funcționează fără instalare (versiune portabilă).
Actualizări și istoricul versiunilor
Versiunea actuală este 4.2.4, lansată pe 25 august 2026. Istoricul merge înapoi până la 30 aprilie 2025 și cuprinde 7 versiuni, toate cu linkuri către fișierele oficiale. Asta înseamnă aproximativ 5,3 versiuni pe an.
Popularitate și tipuri de fișiere
Codul sursă de pe GitHub (leanprover/elan) are 659 de stele.
Descrierea proiectului pe GitHub: “The Lean version manager”
Avantaje / Dezavantaje
Avantaje
- Open source: codul poate fi verificat și compilat de oricine
- Portabil: rulează fără instalare
Dezavantaje
- Fără versiune nativă ARM64
Pe scurt: Elan este un program open source pentru Windows, disponibil pentru calculatoare cu 64 de biți. Este întreținut activ.
Este sigur să descărcați Elan?
- Fișierul este livrat de github.com, domeniul dezvoltatorului
- Linkul de descărcare folosește HTTPS
- Există un hash SHA256 publicat pentru verificarea fișierului:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Deschideți raportul VirusTotal pentru acest hash - Linkul nu a fost verificat încă
- Codul sursă este public
- ExeAtlas nu găzduiește, nu împachetează și nu modifică instalatoare
Ghid asociat: Cum verificați hash-ul SHA256 al unui fișier în Windows
Versiuni recente
Toate cele 7 versiuni ›7 versiuni în 1 an · aproximativ 5,3 pe an
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 4.2.4Cea mai nouă | 25 august 2026 | — | 64 de biți ZIP |
| 4.2.3 | 8 iunie 2026 | — | 64 de biți ZIP |
| 4.2.2 | 28 mai 2026 | — | 64 de biți ZIP |
| 4.2.1 | 18 martie 2026 | — | 64 de biți ZIP |
| 4.2.0 | 25 februarie 2026 | — | 64 de biți ZIP |
| 4.1.2 | 26 mai 2025 | — | 64 de biți ZIP |
| 4.1.1 | 30 aprilie 2025 | — | 64 de biți ZIP |
Instalare din linia de comandă
Instalare silențioasă ›winget install --id Lean.Elan -escoop install main/elanFișiere de program (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Ghid asociat: Cum se folosește winget: instalare și actualizare
Informații
- Dezvoltator
- Lean FRO
- Licență
- Apache-2.0
- Preț
- Gratuit
- Cod sursă
- github.com/leanprover/elan
- Limbaj de programare
- Rust
- Cerințe
- Windows 11 / 10
- Arhitectură
- 64 de biți
- Instalator
- Portabil
- Versiune
- 4.2.4
- Data lansării
- 25 august 2026
- Adăugat în catalog
- 4 mai 2025
- Versiuni listate
- 7
- Actualizări pe an
- 5,3
- Stele pe GitHub
- 659
- Fork-uri pe GitHub
- 60
- Site web
- github.com
- ID winget
- Lean.Elan
- Pachet Scoop
- main/elan
Evaluări și recenzii
Nicio recenzie încă.
Întrebări frecvente
Este Elan gratuit?
Da. Elan este un software open source cu licența Apache-2.0.
Este sigur să descărcați Elan?
Fișierul se descarcă de pe github.com, un domeniu care aparține dezvoltatorului. ExeAtlas nu găzduiește și nu modifică fișierul. Hash-ul SHA256 al fișierului poate fi comparat cu cel afișat aici, iar raportul VirusTotal pentru acel hash poate fi deschis de pe această pagină.
Cum se instalează Elan cu winget?
Deschideți PowerShell sau Windows Terminal și rulați comanda winget afișată pe această pagină. winget descarcă instalatorul oficial și îi verifică hash-ul SHA256 înainte de a-l rula.
Funcționează Elan pe ARM (Windows on Arm)?
Nu există o versiune ARM64; Windows 11 on Arm poate rula versiunea pentru 64 de biți prin emulare.
De unde se descarcă o versiune mai veche a programului Elan?
Pagina de versiuni listează toate cele 7 versiuni, cu linkuri către instalatoarele oficiale, începând din 30 aprilie 2025.
Se poate folosi Elan fără drepturi de administrator?
Da, este portabil: se dezarhivează și se rulează.
