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.
Udgiverens beskrivelse (engelsk)
Hvad er Elan?
Elan fra Lean FRO er open source-software til Windows. Programmeringssprog: Rust.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (Portabel). Programmet kører uden installation (portabelt).
Opdateringer og versionshistorik
Den nyeste version er 4.2.4, udgivet 25. august 2026. Versionshistorikken rummer 7 udgivelser og går tilbage til 30. april 2025; alle linker til de officielle filer. Det svarer til cirka 5,3 udgivelser om året.
Popularitet og filtyper
Kildekoden på GitHub (leanprover/elan) har 659 stjerner.
Projektbeskrivelse på GitHub: “The Lean version manager”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
Ulemper
- Ingen indbygget ARM64-version
Kort sagt: Elan er et værktøj med åben kildekode til Windows til pc’er med 64-bit. Det vedligeholdes aktivt.
Er det sikkert at downloade Elan?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Nyeste versioner
Alle 7 versioner ›7 versioner på 1 år · cirka 5,3 om året
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.2.4Nyeste | 25. august 2026 | — | 64-bit ZIP |
| 4.2.3 | 8. juni 2026 | — | 64-bit ZIP |
| 4.2.2 | 28. maj 2026 | — | 64-bit ZIP |
| 4.2.1 | 18. marts 2026 | — | 64-bit ZIP |
| 4.2.0 | 25. februar 2026 | — | 64-bit ZIP |
| 4.1.2 | 26. maj 2025 | — | 64-bit ZIP |
| 4.1.1 | 30. april 2025 | — | 64-bit ZIP |
Installér fra kommandolinjen
Lydløs installation ›winget install --id Lean.Elan -escoop install main/elanProgramfiler (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Relateret vejledning: winget: installer og opdater programmer i Windows
Information
- Udgiver
- Lean FRO
- Licens
- Apache-2.0
- Pris
- Gratis
- Kildekode
- github.com/leanprover/elan
- Programmeringssprog
- Rust
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- Portabel
- Version
- 4.2.4
- Udgivet
- 25. august 2026
- I kataloget siden
- 4. maj 2025
- Registrerede versioner
- 7
- Opdateringer pr. år
- 5,3
- GitHub-stjerner
- 659
- GitHub-forks
- 60
- Websted
- github.com
- winget-id
- Lean.Elan
- Scoop-pakke
- main/elan
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Ofte stillede spørgsmål
Er Elan gratis?
Ja. Elan er open source-software under licensen Apache-2.0.
Er det sikkert at downloade Elan?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg Elan med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kører Elan på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Hvor kan jeg downloade en ældre version af Elan?
Versionssiden viser alle 7 versioner siden 30. april 2025 med links til de officielle installationsfiler.
Kan jeg bruge Elan uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
