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 Terminal и изпълнете командата за winget от тази страница. winget изтегля официалния инсталатор и преди стартиране проверява хеша му SHA256.
Работи ли Elan на ARM (Windows on Arm)?
Компилация за ARM64 няма; Windows 11 on Arm може да стартира версията за 64-битова чрез емулация.
Откъде да изтегля стари версии на Elan?
Страницата с версиите съдържа връзки към официалните инсталатори на всички версии (7) от 30 април 2025 г. насам.
Може ли Elan да се използва без администраторски права?
Да, това е преносима версия: достатъчно е да я разархивирате и стартирате.
