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.
Lýsing útgefanda (enska)
Hvað er Elan?
Útgefandi forritsins Elan er Lean FRO. Það er opinn hugbúnaður fyrir Windows. Forritunarmál: Rust.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir 64 bita útgáfur af Windows. Það keyrir án uppsetningar (ferðaútgáfa).
Uppfærslur og útgáfusaga
Nýjasta útgáfan er 4.2.4, gefin út 25. ágúst 2026. Útgáfusagan nær aftur til 30. apríl 2025: 7 útgáfur, allar tengdar opinberu skránum. Það gerir um 5,3 útgáfur á ári.
Vinsældir og skráargerðir
Grunnkóðinn á GitHub (leanprover/elan) hefur fengið 659 stjörnur.
Lýsing verkefnisins á GitHub: “The Lean version manager”
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Ferðaútgáfa: keyrir án uppsetningar
Gallar
- Engin sérstök ARM64-útgáfa
Í stuttu máli: Forritið Elan er opinn hugbúnaður fyrir Windows (64 bita). Því er haldið virku við.
Er óhætt að sækja forritið Elan?
- Skráin kemur frá github.com, léni útgefandans sjálfs
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Nýlegar útgáfur
Allar 7 útgáfurnar ›7 útgáfur á 1 ári · um 5,3 á ári
| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 4.2.4Nýjast | 25. ágúst 2026 | — | 64 bita ZIP |
| 4.2.3 | 8. júní 2026 | — | 64 bita ZIP |
| 4.2.2 | 28. maí 2026 | — | 64 bita ZIP |
| 4.2.1 | 18. mars 2026 | — | 64 bita ZIP |
| 4.2.0 | 25. febrúar 2026 | — | 64 bita ZIP |
| 4.1.2 | 26. maí 2025 | — | 64 bita ZIP |
| 4.1.1 | 30. apríl 2025 | — | 64 bita ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›winget install --id Lean.Elan -escoop install main/elanForritaskrár (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Tengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Upplýsingar
- Útgefandi
- Lean FRO
- Leyfi
- Apache-2.0
- Verð
- Ókeypis
- Grunnkóði
- github.com/leanprover/elan
- Forritunarmál
- Rust
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita
- Uppsetningarforrit
- Ferðaútgáfa
- Útgáfa
- 4.2.4
- Gefið út
- 25. ágúst 2026
- Bætt í skrána
- 4. maí 2025
- Skráðar útgáfur
- 7
- Uppfærslur / ár
- 5,3
- Stjörnur á GitHub
- 659
- Kvíslar á GitHub
- 60
- Vefsíða
- github.com
- winget-auðkenni
- Lean.Elan
- Scoop-pakki
- main/elan
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Algengar spurningar
Er Elan ókeypis?
Já. Forritið Elan er opinn hugbúnaður með leyfinu Apache-2.0.
Er óhætt að sækja forritið Elan?
Niðurhalið kemur frá github.com, sem er í eigu útgefandans; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Hvernig er Elan sett upp með winget?
Opnið PowerShell eða Windows Terminal og keyrið winget-skipunina á þessari síðu. winget sækir opinbera uppsetningarforritið og athugar SHA256-gildi þess áður en það er keyrt.
Keyrir Elan á ARM (Windows on Arm)?
Engin ARM64-útgáfa er til; Windows 11 on Arm getur keyrt 64 bita útgáfuna með hermun.
Hvar er hægt að sækja eldri útgáfu af forritinu Elan?
Útgáfusíðan sýnir allar 7 útgáfurnar með tenglum á opinberar uppsetningarskrár þeirra, aftur til 30. apríl 2025.
Er hægt að nota Elan án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.
