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.
Descripció del desenvolupador (anglès)
Què és Elan?
Publicat per Lean FRO, Elan és programari de codi obert per a Windows. Està escrit en Rust.
Instal·lació i requisits
El desenvolupador ofereix instal·ladors Portable per a Windows de 64 bits. Funciona sense instal·lació (versió portable).
Actualitzacions i historial de versions
La versió actual és la 4.2.4, publicada el 25 d’agost del 2026. L’historial arriba fins a 30 d’abril del 2025 i reuneix 7 versions, totes enllaçades als fitxers oficials. Això suposa unes 5,3 versions per any.
Popularitat i tipus de fitxer
El codi font a GitHub (leanprover/elan) té 659 estrelles.
Descripció del projecte a GitHub: “The Lean version manager”
Avantatges / Inconvenients
Avantatges
- Codi obert: qualsevol persona pot revisar i compilar el codi
- Portable: funciona sense instal·lar-lo
Inconvenients
- Sense versió nativa per a ARM64
En resum: Elan és un programa de codi obert per a Windows, disponible per a ordinadors de 64 bits. Rep actualitzacions amb regularitat.
És segur baixar Elan?
- El fitxer se serveix des de github.com, el domini del mateix desenvolupador
- L’enllaç de baixada fa servir HTTPS
- Hi ha un hash SHA256 publicat per verificar el fitxer:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Obre l’informe de VirusTotal d’aquest hash - L’enllaç encara no s’ha comprovat
- El codi font és públic
- ExeAtlas no allotja, no embolcalla ni modifica instal·ladors
Guia relacionada: Com comprovar el hash SHA256 d’un fitxer a Windows
Versions recents
Les 7 versions ›7 versions en 1 any · unes 5,3 per any
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 4.2.4Darrera | 25 d’agost del 2026 | — | 64 bits ZIP |
| 4.2.3 | 8 de juny del 2026 | — | 64 bits ZIP |
| 4.2.2 | 28 de maig del 2026 | — | 64 bits ZIP |
| 4.2.1 | 18 de març del 2026 | — | 64 bits ZIP |
| 4.2.0 | 25 de febrer del 2026 | — | 64 bits ZIP |
| 4.1.2 | 26 de maig del 2025 | — | 64 bits ZIP |
| 4.1.1 | 30 d’abril del 2025 | — | 64 bits ZIP |
Instal·lar des de la línia d’ordres
Instal·lació silenciosa ›winget install --id Lean.Elan -escoop install main/elanFitxers de programa (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Guia relacionada: Com utilitzar winget: instal·lar i actualitzar
Informació
- Desenvolupador
- Lean FRO
- Llicència
- Apache-2.0
- Preu
- Gratuït
- Codi font
- github.com/leanprover/elan
- Llenguatge
- Rust
- Requisits
- Windows 11 / 10
- Arquitectura
- 64 bits
- Instal·lador
- Portable
- Versió
- 4.2.4
- Data de publicació
- 25 d’agost del 2026
- Afegit al catàleg
- 4 de maig del 2025
- Versions registrades
- 7
- Actualitzacions per any
- 5,3
- Estrelles a GitHub
- 659
- Bifurcacions a GitHub
- 60
- Lloc web
- github.com
- ID de winget
- Lean.Elan
- Paquet de Scoop
- main/elan
Valoracions i opinions
Encara no hi ha cap opinió.
Preguntes freqüents
Elan és gratuït?
Sí. Elan és programari de codi obert amb llicència Apache-2.0.
És segur baixar Elan?
La baixada prové de github.com, un domini del mateix desenvolupador. ExeAtlas no allotja ni modifica el fitxer. Se’n pot comparar el hash SHA256 amb el que apareix aquí o obrir l’informe de VirusTotal d’aquest hash.
Com s’instal·la Elan amb winget?
Només cal obrir PowerShell o el Terminal del Windows i executar l’ordre winget que figura en aquesta pàgina. winget baixa l’instal·lador oficial i en comprova el hash SHA256 abans d’executar-lo.
Elan funciona en ARM (Windows on Arm)?
No hi ha versió per a ARM64; Windows 11 on Arm pot executar la versió de 64 bits per emulació.
On es poden baixar versions anteriors d’Elan?
La pàgina de versions recull les 7 versions amb enllaços als instal·ladors oficials, des de 30 d’abril del 2025.
Es pot fer servir Elan sense permisos d’administrador?
Sí, és portable: només cal descomprimir-lo i executar-lo.
