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.
Beskrywing deur die uitgewer (Engels)
Wat is Elan?
Elan van Lean FRO is Windows-sagteware met oop bronkode. Programmeertaal: Rust.
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Bywerkings en weergawegeskiedenis
Die nuutste weergawe is 4.2.4, vrygestel op 25 Augustus 2026. Die weergawegeskiedenis strek terug tot 30 April 2025: 7 vrystellings, almal gekoppel aan die amptelike lêers. Dit kom neer op sowat 5,3 vrystellings per jaar.
Gewildheid en lêertipes
Die bronkode op GitHub (leanprover/elan) het 659 sterre.
Projekbeskrywing op GitHub: “The Lean version manager”
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Draagbaar: werk sonder installasie
Nadele
- Geen inheemse ARM64-weergawe nie
Kortliks: Elan is ’n oopbronprogram vir 64-bis rekenaars. Dit word aktief onderhou.
Is dit veilig om Elan af te laai?
- Die lêer word bedien deur github.com, die uitgewer se eie domein
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Onlangse weergawes
Al 7 weergawes ›7 weergawes oor 1 jaar · sowat 5,3 per jaar
| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 4.2.4Nuutste | 25 Augustus 2026 | — | 64-bis ZIP |
| 4.2.3 | 08 Junie 2026 | — | 64-bis ZIP |
| 4.2.2 | 28 Mei 2026 | — | 64-bis ZIP |
| 4.2.1 | 18 Maart 2026 | — | 64-bis ZIP |
| 4.2.0 | 25 Februarie 2026 | — | 64-bis ZIP |
| 4.1.2 | 26 Mei 2025 | — | 64-bis ZIP |
| 4.1.1 | 30 April 2025 | — | 64-bis ZIP |
Installeer vanaf die opdragreël
Stil installasie ›winget install --id Lean.Elan -escoop install main/elanProgramlêers (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Verwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Uitgewer
- Lean FRO
- Lisensie
- Apache-2.0
- Prys
- Gratis
- Bronkode
- github.com/leanprover/elan
- Geskryf in
- Rust
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis
- Installeerder
- Draagbaar
- Weergawe
- 4.2.4
- Vrygestel
- 25 Augustus 2026
- By die katalogus gevoeg
- 04 Mei 2025
- Weergawes gelys
- 7
- Bywerkings / jaar
- 5,3
- GitHub-sterre
- 659
- GitHub-vurke
- 60
- Webwerf
- github.com
- winget-ID
- Lean.Elan
- Scoop-pakket
- main/elan
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Algemene vrae
Is Elan gratis?
Ja. Elan is oopbronsagteware onder die Apache-2.0-lisensie.
Is dit veilig om Elan af te laai?
Die aflaai kom van github.com, wat aan die uitgewer behoort; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Hoe installeer ek Elan met winget?
Maak PowerShell of Windows Terminal oop en voer die winget-opdrag op hierdie bladsy uit. winget laai die amptelike installeerder af en gaan die SHA256-hashwaarde na voordat dit uitgevoer word.
Werk Elan op ARM (Windows on Arm)?
Daar is geen ARM64-weergawe nie; Windows 11 on Arm kan die 64-bis-weergawe via emulasie laat loop.
Waar kan ek ’n ouer weergawe van Elan aflaai?
Die weergawebladsy lys al 7 weergawes met skakels na hul amptelike installeerlêers, terug tot 30 April 2025.
Kan Elan sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
