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.
Beschreibung des Herstellers (Englisch)
Was ist Elan?
Elan von Lean FRO ist quelloffene Software für Windows. Programmiersprache: Rust.
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit an (Portabel). Das Programm läuft ohne Installation (portabel).
Updates und Versionsverlauf
Aktuell ist Version 4.2.4, veröffentlicht am 25. August 2026. Erfasst sind 7 Releases, das älteste vom 30. April 2025; alle verweisen auf die offiziellen Dateien. Das entspricht etwa 5,3 Releases pro Jahr.
Verbreitung und Dateitypen
Der Quellcode auf GitHub (leanprover/elan) hat 659 Sterne.
Projektbeschreibung auf GitHub: “The Lean version manager”
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
Nachteile
- Keine native ARM64-Version
Kurz gesagt: Elan ist ein quelloffenes Tool für Windows für PCs mit 64-Bit. Es wird aktiv gepflegt.
Ist der Download von Elan sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Neueste Versionen
Alle 7 Versionen ›7 Versionen in 1 Jahr · etwa 5,3 pro Jahr
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 4.2.4Aktuell | 25. August 2026 | — | 64-Bit ZIP |
| 4.2.3 | 8. Juni 2026 | — | 64-Bit ZIP |
| 4.2.2 | 28. Mai 2026 | — | 64-Bit ZIP |
| 4.2.1 | 18. März 2026 | — | 64-Bit ZIP |
| 4.2.0 | 25. Februar 2026 | — | 64-Bit ZIP |
| 4.1.2 | 26. Mai 2025 | — | 64-Bit ZIP |
| 4.1.1 | 30. April 2025 | — | 64-Bit ZIP |
Installation per Kommandozeile
Silent Install ›winget install --id Lean.Elan -escoop install main/elanProgrammdateien (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Passende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Hersteller
- Lean FRO
- Lizenz
- Apache-2.0
- Preis
- Kostenlos
- Quellcode
- github.com/leanprover/elan
- Programmiersprache
- Rust
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- Portabel
- Version
- 4.2.4
- Veröffentlicht
- 25. August 2026
- Im Katalog seit
- 4. Mai 2025
- Erfasste Versionen
- 7
- Updates pro Jahr
- 5,3
- GitHub-Sterne
- 659
- GitHub-Forks
- 60
- Website
- github.com
- winget-ID
- Lean.Elan
- Scoop-Paket
- main/elan
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Häufige Fragen
Ist Elan kostenlos?
Ja. Elan ist Open-Source-Software unter der Lizenz Apache-2.0.
Ist der Download von Elan sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Wie installiere ich Elan mit winget?
Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.
Läuft Elan auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Wo kann ich eine ältere Version von Elan herunterladen?
Die Versionsseite listet alle 7 Versionen seit 30. April 2025 mit Links zu den offiziellen Installationsdateien.
Kann ich Elan ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
