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.
A kiadó leírása (angol)
Mi az Elan?
Az Elan programot a Lean FRO adja ki. Nyílt forráskódú szoftver Windowsra. Programozási nyelv: Rust.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál 64 bites Windowsra. Telepítés nélkül is futtatható (hordozható változat).
Frissítések és verzióelőzmények
A legújabb verzió: 4.2.4 (megjelenés: 2026. augusztus 25.). A verzióelőzmények kezdete: 2025. április 30. Összesen 7 kiadás, mind a hivatalos fájlokra hivatkozik. Ez évente nagyjából 5,3 kiadást jelent.
Népszerűség és fájltípusok
A GitHubon található forráskód (leanprover/elan) 659 csillagot kapott.
A projekt leírása a GitHubon: “The Lean version manager”
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Hordozható: telepítés nélkül fut
Hátrányok
- Nincs natív ARM64-változat
Összegzés: Elan: nyílt forráskódú Windows-eszköz, 64 bites gépekre. Aktívan karbantartott.
Biztonságos az Elan letöltése?
- A fájlt a github.com szolgálja ki, amely a kiadó saját domainje
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Legutóbbi verziók
Mind a 7 verzió ›7 verzió 1 év alatt · évente kb. 5,3
| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 4.2.4Legújabb | 2026. augusztus 25. | — | 64 bites ZIP |
| 4.2.3 | 2026. június 8. | — | 64 bites ZIP |
| 4.2.2 | 2026. május 28. | — | 64 bites ZIP |
| 4.2.1 | 2026. március 18. | — | 64 bites ZIP |
| 4.2.0 | 2026. február 25. | — | 64 bites ZIP |
| 4.1.2 | 2025. május 26. | — | 64 bites ZIP |
| 4.1.1 | 2025. április 30. | — | 64 bites ZIP |
Telepítés parancssorból
Csendes telepítés ›winget install --id Lean.Elan -escoop install main/elanProgramfájlok (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Kapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kiadó
- Lean FRO
- Licenc
- Apache-2.0
- Ár
- Ingyenes
- Forráskód
- github.com/leanprover/elan
- Programozási nyelv
- Rust
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites
- Telepítő
- Hordozható
- Verzió
- 4.2.4
- Megjelenés
- 2026. augusztus 25.
- Katalógusba került
- 2025. május 4.
- Listázott verziók
- 7
- Frissítés / év
- 5,3
- GitHub-csillagok
- 659
- GitHub-forkok
- 60
- Weboldal
- github.com
- winget-azonosító
- Lean.Elan
- Scoop-csomag
- main/elan
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
Gyakori kérdések
Ingyenes az Elan program?
Igen. Az Elan program nyílt forráskódú szoftver (licenc: Apache-2.0), ingyenesen letölthető és használható.
Biztonságos az Elan letöltése?
A fájl a github.com szerveréről érkezik, amely a kiadóé; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Hogyan telepíthető az Elan program wingettel?
Nyissa meg a PowerShellt vagy a Windows Terminált, és futtassa az ezen az oldalon látható winget parancsot. A winget letölti a hivatalos telepítőt, és futtatás előtt ellenőrzi az SHA256 ellenőrzőösszegét.
Fut az Elan program ARM processzoron (Windows on Arm)?
Nincs ARM64-változat; a Windows 11 on Arm emulációval futtathatja a következő változatot: 64 bites.
Honnan tölthető le az Elan régebbi verziója?
A verziók oldalán mind a 7 verzió megtalálható a hivatalos telepítőfájlokra mutató hivatkozással (a legrégebbi megjelenése: 2025. április 30.).
Használható az Elan program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
