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 без прав администратора?
Да, это портативная версия: достаточно распаковать архив и запустить программу.
