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.
Popis od výrobce (angličtina)
Co je Elan?
Program Elan vydává Lean FRO. Jde o software pro Windows s otevřeným zdrojovým kódem. Programovací jazyk: Rust.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy 64bit. Program funguje bez instalace (přenosná verze).
Aktualizace a historie verzí
Aktuální verze je 4.2.4, vydaná 25. srpna 2026. Historie verzí sahá až k 30. dubna 2025: celkem 7 verzí s odkazy na oficiální soubory. To je zhruba 5,3 vydání ročně.
Oblíbenost a typy souborů
Zdrojový kód na GitHubu (leanprover/elan) má 659 hvězd.
Popis projektu na GitHubu: “The Lean version manager”
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Přenosná verze: funguje bez instalace
Nevýhody
- Chybí nativní sestavení ARM64
Ve zkratce: Elan je program pro Windows s otevřeným zdrojovým kódem; sestavení: 64bit. Program se pravidelně aktualizuje.
Je stažení programu Elan bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Poslední verze
Všechny verze (7) ›7 verzí za 1 rok · přibližně 5,3 ročně
Instalace z příkazového řádku
Tichá instalace ›winget install --id Lean.Elan -escoop install main/elanProgramové soubory (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Související návod: Jak používat winget: instalace a aktualizace programů
Informace
- Výrobce
- Lean FRO
- Licence
- Apache-2.0
- Cena
- Zdarma
- Zdrojový kód
- github.com/leanprover/elan
- Programovací jazyk
- Rust
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- Přenosná verze
- Verze
- 4.2.4
- Datum vydání
- 25. srpna 2026
- Přidáno do katalogu
- 4. května 2025
- Verzí v katalogu
- 7
- Aktualizací za rok
- 5,3
- Hvězdy na GitHubu
- 659
- Forky na GitHubu
- 60
- Web
- github.com
- ID winget
- Lean.Elan
- Balíček Scoop
- main/elan
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Časté otázky
Je program Elan zdarma?
Ano. Elan je program s otevřeným zdrojovým kódem (licence Apache-2.0); stažení i používání je zdarma.
Je stažení programu Elan bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Jak nainstalovat Elan přes winget?
Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.
Funguje Elan na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Kde stáhnout starší verze programu Elan?
Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (7) od 30. dubna 2025.
Lze program Elan používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.
