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.
Përshkrimi i botuesit (anglisht)
Çfarë është Elan?
Botuesi i Elan është Lean FRO. Është softuer me burim të hapur për Windows. Është shkruar në Rust.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows 64-bit. Funksionon pa instalim (portativ).
Përditësimet dhe historiku i versioneve
Versioni i fundit është 4.2.4, publikuar më 25 gusht 2026. Historiku i versioneve fillon më 30 prill 2025: 7 publikime, të gjitha me lidhje te skedarët zyrtarë. Kjo do të thotë rreth 5,3 publikime në vit.
Popullariteti dhe llojet e skedarëve
Kodi burimor në GitHub (leanprover/elan) ka 659 yje.
Përshkrimi i projektit në GitHub: “The Lean version manager”
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Portativ: funksionon pa instalim
Pikat e dobëta
- Pa version vendas ARM64
Shkurtimisht: Elan është një mjet me burim të hapur për Windows, për kompjuterë 64-bit. Mirëmbahet aktivisht.
A është i sigurt shkarkimi i Elan?
- Skedari shpërndahet nga github.com, domeni i vetë botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Hapni raportin e VirusTotal për këtë hash - Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Versionet e fundit
Të gjitha versionet (7) ›7 versione në 1 vit · rreth 5,3 në vit
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 4.2.4I fundit | 25 gusht 2026 | — | 64-bit ZIP |
| 4.2.3 | 8 qershor 2026 | — | 64-bit ZIP |
| 4.2.2 | 28 maj 2026 | — | 64-bit ZIP |
| 4.2.1 | 18 mars 2026 | — | 64-bit ZIP |
| 4.2.0 | 25 shkurt 2026 | — | 64-bit ZIP |
| 4.1.2 | 26 maj 2025 | — | 64-bit ZIP |
| 4.1.1 | 30 prill 2025 | — | 64-bit ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›winget install --id Lean.Elan -escoop install main/elanSkedarë programesh (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Udhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Informacion
- Botuesi
- Lean FRO
- Licenca
- Apache-2.0
- Çmimi
- Falas
- Kodi burimor
- github.com/leanprover/elan
- Shkruar në
- Rust
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit
- Instaluesi
- Portativ
- Versioni
- 4.2.4
- Publikuar
- 25 gusht 2026
- Shtuar në katalog
- 4 maj 2025
- Versione në listë
- 7
- Përditësime në vit
- 5,3
- Yje në GitHub
- 659
- Forke në GitHub
- 60
- Faqja e internetit
- github.com
- ID winget
- Lean.Elan
- Paketa Scoop
- main/elan
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Pyetjet më të shpeshta
A është Elan falas?
Po. Elan është softuer me burim të hapur me licencën Apache-2.0.
A është i sigurt shkarkimi i Elan?
Shkarkimi vjen nga github.com, që i përket botuesit; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
Si ta instaloj Elan me winget?
Hapni PowerShell ose Windows Terminal dhe ekzekutoni komandën winget që tregohet në këtë faqe. winget shkarkon instaluesin zyrtar dhe kontrollon hash-in SHA256 para se ta ekzekutojë.
A funksionon Elan në ARM (Windows on Arm)?
Nuk ka version ARM64; Windows 11 on Arm mund ta ekzekutojë versionin 64-bit përmes emulimit.
Ku mund të shkarkoj një version të vjetër të Elan?
Faqja e versioneve rendit të 7 versionet me lidhje te skedarët zyrtarë të instalimit, që nga 30 prill 2025.
A mund ta përdor Elan pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.
