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.
Апісанне ад распрацоўшчыка (англійская)
Што такое Elan?
Праграму Elan выпускае Lean FRO. Гэта ПЗ для Windows з адкрытым зыходным кодам. Мова праграмавання: Rust.
Устаноўка і сістэмныя патрабаванні
Распрацоўшчык прапануе ўсталёўшчыкі Партатыўная для сістэм 64-біт. Праграма працуе без устаноўкі (партатыўная версія).
Абнаўленні і гісторыя версій
Бягучая версія — 4.2.4, выйшла 25 жніўня 2026 г.. Гісторыя версій пачынаецца з 30 красавіка 2025 г.: усяго 7 версій са спасылкамі на афіцыйныя файлы. Частата выпускаў — каля 5,3 за год.
Папулярнасць і тыпы файлаў
Зыходны код на GitHub (leanprover/elan) мае 659 зорак.
Апісанне праекта на GitHub: “The Lean version manager”
Перавагі / Недахопы
Перавагі
- Адкрыты зыходны код: яго можна праверыць і сабраць самастойна
- Партатыўная версія: працуе без устаноўкі
Недахопы
- Няма натыўнай зборкі ARM64
Коратка: Elan — праграма для Windows з адкрытым зыходным кодам; зборкі: 64-біт. Праграма рэгулярна абнаўляецца.
Ці бяспечна спампоўваць праграму Elan?
- Файл спампоўваецца з дамена распрацоўшчыка (github.com)
- Спасылка на спампоўку выкарыстоўвае HTTPS
- Апублікаваны хэш SHA256 — файл можна праверыць:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Адкрыць справаздачу VirusTotal для гэтага хэша - Спасылка яшчэ не правяралася
- Зыходны код адкрыты
- ExeAtlas не захоўвае, не абгортвае і не змяняе ўсталёўшчыкі
Інструкцыя па тэме: Як праверыць хэш SHA256 файла ў Windows
Апошнія версіі
Усе версіі (7) ›7 версій за 1 год · каля 5,3 за год
| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 4.2.4Апошняя | 25 жніўня 2026 г. | — | 64-біт ZIP |
| 4.2.3 | 8 чэрвеня 2026 г. | — | 64-біт ZIP |
| 4.2.2 | 28 мая 2026 г. | — | 64-біт ZIP |
| 4.2.1 | 18 сакавіка 2026 г. | — | 64-біт ZIP |
| 4.2.0 | 25 лютага 2026 г. | — | 64-біт ZIP |
| 4.1.2 | 26 мая 2025 г. | — | 64-біт ZIP |
| 4.1.1 | 30 красавіка 2025 г. | — | 64-біт ZIP |
Устаноўка з каманднага радка
Ціхая ўстаноўка ›winget install --id Lean.Elan -escoop install main/elanФайлы праграм (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Інструкцыя па тэме: Як карыстацца winget: устаноўка і абнаўленне
Інфармацыя
- Распрацоўшчык
- Lean FRO
- Ліцэнзія
- Apache-2.0
- Кошт
- Бясплатна
- Зыходны код
- github.com/leanprover/elan
- Мова праграмавання
- Rust
- Патрабаванні
- Windows 11 / 10
- Архітэктура
- 64-біт
- Усталёўшчык
- Партатыўная
- Версія
- 4.2.4
- Дата выхаду
- 25 жніўня 2026 г.
- Дададзена ў каталог
- 4 мая 2025 г.
- Версій у каталогу
- 7
- Абнаўленняў за год
- 5,3
- Зоркі GitHub
- 659
- Форкі на GitHub
- 60
- Сайт
- github.com
- ID winget
- Lean.Elan
- Пакет Scoop
- main/elan
Ацэнкі і водгукі
Водгукаў пакуль няма. Можна ацаніць першым.
Частыя пытанні
Праграма Elan бясплатная?
Так. Elan — праграма з адкрытым зыходным кодам (ліцэнзія Apache-2.0); спампаваць і выкарыстоўваць яе можна бясплатна.
Ці бяспечна спампоўваць праграму Elan?
Файл спампоўваецца з github.com — гэты дамен належыць распрацоўшчыку; ExeAtlas не захоўвае і не змяняе файл. Параўнайце SHA256 спампаванага файла з пазначаным на гэтай старонцы або адкрыйце справаздачу VirusTotal для гэтага хэша.
Як усталяваць Elan праз winget?
Адкрыйце PowerShell або Тэрмінал Windows і выканайце каманду winget з гэтай старонкі. winget спампуе афіцыйны ўсталёўшчык і праверыць яго хэш SHA256 перад запускам.
Ці працуе Elan на ARM (Windows on Arm)?
Зборкі ARM64 няма; Windows 11 on Arm можа запусціць версію 64-біт праз эмуляцыю.
Дзе спампаваць старыя версіі праграмы Elan?
На старонцы версій сабраны спасылкі на афіцыйныя ўсталёўшчыкі ўсіх версій (7), пачынаючы з 30 красавіка 2025 г..
Ці можна карыстацца праграмай Elan без правоў адміністратара?
Так, гэта партатыўная версія: дастаткова распакаваць архіў і запусціць праграму.
