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.
Beschrijving van de uitgever (Engels)
Wat is Elan?
Elan van Lean FRO is opensource software voor Windows. Programmeertaal: Rust.
Installatie en systeemeisen
De uitgever levert installers voor 64-bits (Portable). Het programma werkt zonder installatie (portable).
Updates en versiegeschiedenis
De huidige versie is 4.2.4, uitgebracht op 25 augustus 2026. De versiegeschiedenis telt 7 releases, terug tot 30 april 2025, allemaal gekoppeld aan de officiële bestanden. Dat komt neer op ongeveer 5,3 releases per jaar.
Populariteit en bestandstypen
De broncode op GitHub (leanprover/elan) heeft 659 sterren.
Projectbeschrijving op GitHub: “The Lean version manager”
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Portable: werkt zonder installatie
Nadelen
- Geen native ARM64-versie
Kort gezegd: Elan is een opensource tool voor Windows voor pc’s met 64-bits. Het wordt actief onderhouden.
Is Elan veilig om te downloaden?
- Het bestand komt van github.com, een domein van de uitgever zelf
- De downloadlink gebruikt HTTPS
- Er is een SHA256-hash gepubliceerd, dus het bestand is te controleren:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Open het VirusTotal-rapport voor deze hash - De link is nog niet gecontroleerd
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Recente versies
Alle 7 versies ›7 versies in 1 jaar · ongeveer 5,3 per jaar
| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 4.2.4Nieuwste | 25 augustus 2026 | — | 64-bits ZIP |
| 4.2.3 | 8 juni 2026 | — | 64-bits ZIP |
| 4.2.2 | 28 mei 2026 | — | 64-bits ZIP |
| 4.2.1 | 18 maart 2026 | — | 64-bits ZIP |
| 4.2.0 | 25 februari 2026 | — | 64-bits ZIP |
| 4.1.2 | 26 mei 2025 | — | 64-bits ZIP |
| 4.1.1 | 30 april 2025 | — | 64-bits ZIP |
Installeren via de opdrachtregel
Stille installatie ›winget install --id Lean.Elan -escoop install main/elanProgrammabestanden (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Gerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Informatie
- Uitgever
- Lean FRO
- Licentie
- Apache-2.0
- Prijs
- Gratis
- Broncode
- github.com/leanprover/elan
- Programmeertaal
- Rust
- Vereist
- Windows 11 / 10
- Architectuur
- 64-bits
- Installer
- Portable
- Versie
- 4.2.4
- Uitgebracht
- 25 augustus 2026
- Toegevoegd aan de catalogus
- 4 mei 2025
- Versies in de lijst
- 7
- Updates per jaar
- 5,3
- GitHub-sterren
- 659
- GitHub-forks
- 60
- Website
- github.com
- winget-ID
- Lean.Elan
- Scoop-pakket
- main/elan
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Veelgestelde vragen
Is Elan gratis?
Ja. Elan is opensourcesoftware onder de licentie Apache-2.0.
Is Elan veilig om te downloaden?
Het bestand komt van github.com, een domein van de uitgever zelf; ExeAtlas host of wijzigt het niet. Vergelijk de SHA256-hash van het gedownloade bestand met de hash op deze pagina, of open het VirusTotal-rapport voor die hash.
Hoe wordt Elan met winget geïnstalleerd?
Open PowerShell of Windows Terminal en voer het winget-commando van deze pagina uit. winget downloadt de officiële installer en controleert de SHA256-hash voordat die wordt gestart.
Werkt Elan op ARM (Windows on Arm)?
Er is geen ARM64-versie; Windows 11 on Arm kan de versie voor 64-bits via emulatie draaien.
Waar is een oudere versie van Elan te downloaden?
De versiepagina toont alle 7 versies sinds 30 april 2025, met links naar de officiële installatiebestanden.
Werkt Elan zonder beheerdersrechten?
Ja, het programma is portable: uitpakken en starten.
