Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Описание от разработчика (английский)
Что такое Lean?
Программу Lean выпускает Lean FRO. Это ПО для Windows с открытым исходным кодом, категория «IDE и редакторы кода». Язык программирования: Lean.
Установка и системные требования
Разработчик предлагает установщики Портативная для систем 64-бит. Программа работает без установки (портативная версия).
Обновления и история версий
Текущая версия — 4.35.0, вышла 12 октября 2026 г.. История версий начинается с 1 мая 2025 г.: всего 24 версии со ссылками на официальные файлы. Частота выпусков — около 17 в год. Последнее обновление вышло меньше месяца назад.
Популярность и типы файлов
У исходного кода на GitHub (leanprover/lean4) 9 626 звёзд. Похожие программы: OpenCode, RStudio и Node.js (LTS).
Описание проекта на GitHub: “Lean 4 programming language and theorem prover”
Плюсы / Минусы
Плюсы
- Открытый исходный код: его можно проверить и собрать самостоятельно
- Портативная версия: работает без установки
- Частые обновления (около 17 в год)
- Большая аудитория пользователей
Минусы
- Нет нативной сборки ARM64
Коротко: Lean — программа для Windows с открытым исходным кодом (категория «IDE и редакторы кода»); сборки: 64-бит. Программа регулярно обновляется.
Безопасно ли скачивать программу Lean?
- Файл загружается с домена разработчика (github.com)
- Ссылка для скачивания использует HTTPS
- Опубликован хеш SHA256 — файл можно проверить:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Открыть отчёт VirusTotal по этому хешу - Ссылка ещё не проверялась
- Исходный код открыт
- ExeAtlas не хранит, не оборачивает и не изменяет установщики
Инструкция по теме: Как проверить хеш SHA256 файла в Windows
Практики безопасности (OpenSSF Scorecard)
Автоматическая проверка репозитория leanprover/lean4 на GitHub от Open Source Security Foundation, последний запуск — 19 октября 2026 г..
- Активная поддержка10
- Нет опасных workflow10
- Лицензия указана10
- Нет бинарных файлов в репозитории10
- Зафиксированные зависимости4
- Ревью кода1
- Ограниченные права токенов0
- Значок OpenSSF Best Practices0
- Политика безопасности0
- Фаззинг0
- Подписанные релизы0
- Статический анализ кода0
Оценка показывает, как проект разрабатывается и выпускается, а не то, безопасно ли устанавливать программу. scorecard.dev
Последние версии
Все версии (24) ›24 версии за 1 год · примерно 17 в год
| Версия | Дата | Размер | Файлы |
|---|---|---|---|
| 4.35.0Последняя | 12 октября 2026 г. | — | 64-бит ZIP |
| 4.34.1 | 24 сентября 2026 г. | — | 64-бит ZIP |
| 4.34.0 | 14 сентября 2026 г. | — | 64-бит ZIP |
| 4.33.1 | 21 августа 2026 г. | — | 64-бит ZIP |
| 4.33.0 | 10 августа 2026 г. | — | 64-бит ZIP |
| 4.32.2 | 28 июля 2026 г. | — | 64-бит ZIP |
| 4.32.1 | 22 июля 2026 г. | — | 64-бит ZIP |
| 4.32.0 | 13 июля 2026 г. | — | 64-бит ZIP |
Установка из командной строки
Тихая установка ›winget install --id Lean.Lean -eФайлы программ (.exe): lean.exe, leanc.exe
Инструкция по теме: Как пользоваться winget: установка и обновление
Информация
- Разработчик
- Lean FRO
- Категория
- IDE и редакторы кода
- Лицензия
- Apache-2.0
- Цена
- Бесплатно
- Исходный код
- github.com/leanprover/lean4
- Язык программирования
- Lean
- Требования
- Windows 11 / 10
- Архитектура
- 64-бит
- Установщик
- Портативная
- Версия
- 4.35.0
- Дата выхода
- 12 октября 2026 г.
- Добавлено в каталог
- 6 мая 2025 г.
- Версий в каталоге
- 24
- Обновлений в год
- 16,6
- Звёзды GitHub
- 9 626
- Форки на GitHub
- 1 059
- Сайт
- lean-lang.org
- ID winget
- Lean.Lean
Оценки и отзывы
Отзывов пока нет. Оценку можно оставить первым.
Аналоги программы Lean
Показать все ›-
Открытый исходный код285,2 тыс. ↓ -
Открытый исходный код705,1 тыс. ↓ -
Открытый исходный код4,9 млн ↓ -
Открытый исходный код88,8 тыс. ↓ -
Открытый исходный код49,7 тыс. ↓ -
Открытый исходный код394,5 тыс. ↓ -
Открытый исходный код79,2 тыс. ↓ -
Открытый исходный код94,6 тыс. ↓
Частые вопросы
Программа Lean бесплатная?
Да. Lean — программа с открытым исходным кодом (лицензия Apache-2.0); скачать и использовать её можно бесплатно.
Безопасно ли скачивать программу Lean?
Файл загружается с github.com — этот домен принадлежит разработчику; ExeAtlas не хранит и не изменяет файл. Сравните SHA256 скачанного файла с указанным на этой странице или откройте отчёт VirusTotal по этому хешу.
Как установить Lean через winget?
Откройте PowerShell или Терминал Windows и выполните команду winget с этой страницы. winget скачает официальный установщик и проверит его хеш SHA256 перед запуском.
Работает ли Lean на ARM (Windows on Arm)?
Сборки ARM64 нет; Windows 11 on Arm может запустить версию 64-бит через эмуляцию.
Где скачать старые версии программы Lean?
На странице версий собраны ссылки на официальные установщики всех версий (24), начиная с 1 мая 2025 г..
Можно ли пользоваться программой Lean без прав администратора?
Да, это портативная версия: достаточно распаковать архив и запустить программу.
Какие есть аналоги программы Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans и Haxe. Их сравнение — на странице аналогов.
