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ýrobcu (angličtina)
Čo je Elan?
Program Elan vydáva Lean FRO. Ide o softvér pre Windows s otvoreným zdrojovým kódom. Programovací jazyk: Rust.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit. Program funguje bez inštalácie (prenosná verzia).
Aktualizácie a história verzií
Najnovšia verzia je 4.2.4, vydaná 25. augusta 2026. História verzií siaha až k 30. apríla 2025: spolu 7 verzií s odkazmi na oficiálne súbory. To je zhruba 5,3 vydaní ročne.
Obľúbenosť a typy súborov
Zdrojový kód na GitHube (leanprover/elan) má 659 hviezdičiek.
Popis projektu na GitHube: “The Lean version manager”
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Prenosná verzia: funguje bez inštalácie
Nevýhody
- Chýba natívne zostavenie ARM64
V skratke: Elan je program pre Windows s otvoreným zdrojovým kódom; zostavenia: 64-bit. Program sa pravidelne aktualizuje.
Je stiahnutie programu Elan bezpečné?
- Súbor sa sťahuje z domény výrobcu (github.com)
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Otvoriť správu VirusTotal pre tento hash - Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Posledné verzie
Všetky verzie (7) ›7 verzií za 1 rok · približne 5,3 ročne
| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 4.2.4Najnovšia | 25. augusta 2026 | — | 64-bit ZIP |
| 4.2.3 | 8. júna 2026 | — | 64-bit ZIP |
| 4.2.2 | 28. mája 2026 | — | 64-bit ZIP |
| 4.2.1 | 18. marca 2026 | — | 64-bit ZIP |
| 4.2.0 | 25. februára 2026 | — | 64-bit ZIP |
| 4.1.2 | 26. mája 2025 | — | 64-bit ZIP |
| 4.1.1 | 30. apríla 2025 | — | 64-bit ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›winget install --id Lean.Elan -escoop install main/elanProgramové súbory (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Súvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Informácie
- Výrobca
- Lean FRO
- Licencia
- Apache-2.0
- Cena
- Zadarmo
- Zdrojový kód
- github.com/leanprover/elan
- Programovací jazyk
- Rust
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit
- Inštalátor
- Prenosná verzia
- Verzia
- 4.2.4
- Dátum vydania
- 25. augusta 2026
- Pridané do katalógu
- 4. mája 2025
- Verzií v katalógu
- 7
- Aktualizácií za rok
- 5,3
- Hviezdičky na GitHube
- 659
- Forky na GitHube
- 60
- Web
- github.com
- ID winget
- Lean.Elan
- Balík Scoop
- main/elan
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Časté otázky
Je program Elan zadarmo?
Áno. Elan je program s otvoreným zdrojovým kódom (licencia Apache-2.0); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu Elan bezpečné?
Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Ako nainštalovať Elan cez winget?
Otvorte PowerShell alebo Windows Terminal a spustite príkaz winget z tejto stránky. winget stiahne oficiálny inštalátor a pred spustením overí jeho hash SHA256.
Funguje Elan na ARM (Windows on Arm)?
Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.
Kde stiahnuť staršie verzie programu Elan?
Stránka verzií obsahuje odkazy na oficiálne inštalátory všetkých verzií (7) od 30. apríla 2025.
Dá sa program Elan používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.
