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.
Opis producenta (angielski)
Czym jest Elan?
Program Elan wydaje Lean FRO. To oprogramowanie na Windows o otwartym kodzie źródłowym. Język programowania: Rust.
Instalacja i wymagania
Producent udostępnia instalatory Wersja przenośna dla systemów 64-bit. Program działa bez instalacji (wersja przenośna).
Aktualizacje i historia wersji
Bieżąca wersja to 4.2.4, wydana 25 sierpnia 2026. Najstarsza wersja w katalogu pochodzi z 30 kwietnia 2025. Łącznie: 7 wersji, wszystkie z linkami do oficjalnych plików. Tempo wydań: ok. 5,3 rocznie.
Popularność i typy plików
Kod źródłowy na GitHubie (leanprover/elan) ma 659 gwiazdek.
Opis projektu na GitHubie: “The Lean version manager”
Zalety / Wady
Zalety
- Otwarty kod źródłowy: każdy może go przejrzeć i skompilować
- Wersja przenośna: działa bez instalacji
Wady
- Brak natywnej wersji ARM64
W skrócie: Elan to program na Windows o otwartym kodzie źródłowym; wersje: 64-bit. Program jest regularnie aktualizowany.
Czy pobieranie programu Elan jest bezpieczne?
- Plik jest pobierany z domeny producenta (github.com)
- Link do pobrania używa HTTPS
- Opublikowano sumę SHA256, więc plik można zweryfikować:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Otwórz raport VirusTotal dla tej sumy - Link nie był jeszcze sprawdzany
- Kod źródłowy jest publiczny
- ExeAtlas nie przechowuje, nie opakowuje i nie modyfikuje instalatorów
Powiązany poradnik: Jak sprawdzić sumę SHA256 pliku w Windows
Najnowsze wersje
Wszystkie wersje (7) ›7 wersji w ciągu roku · ok. 5,3 rocznie
| Wersja | Data | Rozmiar | Pliki |
|---|---|---|---|
| 4.2.4Najnowsza | 25 sierpnia 2026 | — | 64-bit ZIP |
| 4.2.3 | 8 czerwca 2026 | — | 64-bit ZIP |
| 4.2.2 | 28 maja 2026 | — | 64-bit ZIP |
| 4.2.1 | 18 marca 2026 | — | 64-bit ZIP |
| 4.2.0 | 25 lutego 2026 | — | 64-bit ZIP |
| 4.1.2 | 26 maja 2025 | — | 64-bit ZIP |
| 4.1.1 | 30 kwietnia 2025 | — | 64-bit ZIP |
Instalacja z wiersza poleceń
Cicha instalacja ›winget install --id Lean.Elan -escoop install main/elanPliki programów (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Powiązany poradnik: Winget – jak instalować i aktualizować programy
Informacje
- Producent
- Lean FRO
- Licencja
- Apache-2.0
- Cena
- Za darmo
- Kod źródłowy
- github.com/leanprover/elan
- Język programowania
- Rust
- Wymagania
- Windows 11 / 10
- Architektura
- 64-bit
- Instalator
- Wersja przenośna
- Wersja
- 4.2.4
- Data wydania
- 25 sierpnia 2026
- Dodano do katalogu
- 4 maja 2025
- Wersje w katalogu
- 7
- Aktualizacje / rok
- 5,3
- Gwiazdki GitHub
- 659
- Forki na GitHubie
- 60
- Strona WWW
- github.com
- ID winget
- Lean.Elan
- Pakiet Scoop
- main/elan
Oceny i opinie
Brak opinii. Można dodać pierwszą ocenę.
Najczęstsze pytania
Czy program Elan jest darmowy?
Tak. Elan to oprogramowanie open source na licencji Apache-2.0; można je pobrać i używać za darmo.
Czy pobieranie programu Elan jest bezpieczne?
Plik jest pobierany z serwera github.com, który należy do producenta; ExeAtlas nie przechowuje ani nie modyfikuje pliku. Sumę SHA256 pobranego pliku można porównać z podaną na tej stronie albo otworzyć raport VirusTotal dla tej sumy.
Jak zainstalować program Elan przez winget?
Wystarczy otworzyć PowerShell lub Terminal Windows i uruchomić polecenie winget podane na tej stronie. winget pobiera oficjalny instalator i przed uruchomieniem sprawdza jego sumę SHA256.
Czy Elan działa na procesorach ARM (Windows on Arm)?
Brak wersji ARM64; Windows 11 on Arm może uruchomić wersję 64-bit w emulacji.
Gdzie pobrać starsze wersje programu Elan?
Na stronie wersji zebrano linki do oficjalnych instalatorów wszystkich wersji (7), aż do 30 kwietnia 2025.
Czy z programu Elan można korzystać bez uprawnień administratora?
Tak, to wersja przenośna: wystarczy rozpakować archiwum i uruchomić program.
