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.
Descrizione del produttore (inglese)
Cos’è Elan?
Pubblicato da Lean FRO, Elan è un software open source per Windows. È scritto in Rust.
Installazione e requisiti
Il produttore distribuisce pacchetti Portable per le versioni 64 bit di Windows. Funziona senza installazione (versione portable).
Aggiornamenti e cronologia delle versioni
La versione attuale è la 4.2.4 (rilascio: 25 agosto 2026). La cronologia comprende 7 versioni (prima versione: 30 aprile 2025), tutte collegate ai file ufficiali. In media escono circa 5,3 versioni all’anno.
Popolarità e tipi di file
Il codice sorgente su GitHub (leanprover/elan) ha 659 stelle.
Descrizione del progetto su GitHub: “The Lean version manager”
Pro / Contro
Pro
- Open source: chiunque può esaminare e compilare il codice
- Portable: funziona senza installazione
Contro
- Nessuna versione ARM64 nativa
In breve: Elan è un programma open source per Windows, per PC 64 bit. Lo sviluppo è attivo.
Scaricare Elan è sicuro?
- Il file è fornito da github.com, il dominio del produttore
- Il link di download usa HTTPS
- L’hash SHA256 è pubblicato: il file si può verificare:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Apri il rapporto VirusTotal di questo hash - Il link non è ancora stato controllato
- Il codice sorgente è pubblico
- ExeAtlas non ospita, non incapsula e non modifica gli installer
Guida correlata: Come verificare l’hash SHA256 di un file su Windows
Versioni recenti
Tutte le versioni (7) ›7 versioni in 1 anno · circa 5,3 all’anno
| Versione | Data | Dimensione | File |
|---|---|---|---|
| 4.2.4Ultima | 25 agosto 2026 | — | 64 bit ZIP |
| 4.2.3 | 8 giugno 2026 | — | 64 bit ZIP |
| 4.2.2 | 28 maggio 2026 | — | 64 bit ZIP |
| 4.2.1 | 18 marzo 2026 | — | 64 bit ZIP |
| 4.2.0 | 25 febbraio 2026 | — | 64 bit ZIP |
| 4.1.2 | 26 maggio 2025 | — | 64 bit ZIP |
| 4.1.1 | 30 aprile 2025 | — | 64 bit ZIP |
Installazione da riga di comando
Installazione silenziosa ›winget install --id Lean.Elan -escoop install main/elanFile di programma (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Guida correlata: Come usare winget: installare e aggiornare app
Informazioni
- Produttore
- Lean FRO
- Licenza
- Apache-2.0
- Prezzo
- Gratis
- Codice sorgente
- github.com/leanprover/elan
- Linguaggio
- Rust
- Requisiti
- Windows 11 / 10
- Architettura
- 64 bit
- Installer
- Portable
- Versione
- 4.2.4
- Data di rilascio
- 25 agosto 2026
- Aggiunto al catalogo
- 4 maggio 2025
- Versioni elencate
- 7
- Aggiornamenti all’anno
- 5,3
- Stelle su GitHub
- 659
- Fork su GitHub
- 60
- Sito ufficiale
- github.com
- ID winget
- Lean.Elan
- Pacchetto Scoop
- main/elan
Valutazioni e recensioni
Ancora nessuna recensione.
Domande frequenti
Elan è gratis?
Sì. Elan è un software open source con licenza Apache-2.0.
Scaricare Elan è sicuro?
Il file viene scaricato da github.com, un dominio che appartiene al produttore; ExeAtlas non ospita né modifica il file. Si può confrontare il suo hash SHA256 con quello indicato qui oppure aprire il rapporto VirusTotal di quell’hash.
Come si installa Elan con winget?
Basta aprire PowerShell o Windows Terminal ed eseguire il comando winget riportato in questa pagina. winget scarica l’installer ufficiale e ne verifica l’hash SHA256 prima di avviarlo.
Elan funziona su ARM (Windows on Arm)?
Non esiste una versione ARM64; Windows 11 su Arm può eseguire la versione 64 bit tramite emulazione.
Dove scaricare una versione precedente di Elan?
La pagina delle versioni elenca tutte le 7 versioni con i link ai file di installazione ufficiali; la più vecchia è datata 30 aprile 2025.
Elan si può usare senza diritti di amministratore?
Sì, è portable: basta estrarre l’archivio e avviare il programma.
