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.
Utgivarens beskrivning (engelska)
Vad är Elan?
Elan från Lean FRO är programvara med öppen källkod för Windows. Programmeringsspråk: Rust.
Installation och systemkrav
Utgivaren erbjuder installationsfiler för 64-bitars (Portabel). Programmet körs utan installation (portabelt).
Uppdateringar och versionshistorik
Den senaste versionen är 4.2.4, släppt 25 augusti 2026. Versionshistoriken omfattar 7 versioner och sträcker sig tillbaka till 30 april 2025; alla länkar till de officiella filerna. Det motsvarar ungefär 5,3 versioner per år.
Popularitet och filtyper
Källkoden på GitHub (leanprover/elan) har 659 stjärnor.
Projektbeskrivning på GitHub: “The Lean version manager”
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Portabelt: körs utan installation
Nackdelar
- Ingen inbyggd ARM64-version
Kort sagt: Elan är ett verktyg med öppen källkod för Windows för datorer med 64-bitars. Det underhålls aktivt.
Är det säkert att ladda ner Elan?
- Filen levereras av github.com, utgivarens egen domän
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Öppna VirusTotal-rapporten för den här hashen - Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Senaste versionerna
Alla 7 versioner ›7 versioner på 1 år · ungefär 5,3 per år
| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 4.2.4Senaste | 25 augusti 2026 | — | 64-bitars ZIP |
| 4.2.3 | 8 juni 2026 | — | 64-bitars ZIP |
| 4.2.2 | 28 maj 2026 | — | 64-bitars ZIP |
| 4.2.1 | 18 mars 2026 | — | 64-bitars ZIP |
| 4.2.0 | 25 februari 2026 | — | 64-bitars ZIP |
| 4.1.2 | 26 maj 2025 | — | 64-bitars ZIP |
| 4.1.1 | 30 april 2025 | — | 64-bitars ZIP |
Installera från kommandoraden
Tyst 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
Relaterad guide: Så använder du winget: installera och uppdatera
Information
- Utgivare
- Lean FRO
- Licens
- Apache-2.0
- Pris
- Gratis
- Källkod
- github.com/leanprover/elan
- Programmeringsspråk
- Rust
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars
- Installationsfil
- Portabel
- Version
- 4.2.4
- Släppt
- 25 augusti 2026
- I katalogen sedan
- 4 maj 2025
- Listade versioner
- 7
- Uppdateringar per år
- 5,3
- GitHub-stjärnor
- 659
- GitHub-forkar
- 60
- Webbplats
- github.com
- winget-ID
- Lean.Elan
- Scoop-paket
- main/elan
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Vanliga frågor
Är Elan gratis?
Ja. Elan är programvara med öppen källkod under licensen Apache-2.0.
Är det säkert att ladda ner Elan?
Filen kommer från github.com, som tillhör utgivaren; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Hur installerar jag Elan med winget?
Öppna PowerShell eller Windows Terminal och kör winget-kommandot som visas på den här sidan. winget laddar ner den officiella installationsfilen och kontrollerar SHA256-hashen innan den körs.
Fungerar Elan på ARM (Windows on Arm)?
Det finns ingen ARM64-version; Windows 11 on Arm kan köra versionen för 64-bitars via emulering.
Var kan jag ladda ner en äldre version av Elan?
Versionssidan listar alla 7 versioner sedan 30 april 2025 med länkar till de officiella installationsfilerna.
Kan jag använda Elan utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.
