Популярное: Данные обновлены: 27 октября 2026 г.

Категории

Интернет1 356
Общение321
Аудио и видео898
Графика и дизайн539
Офис и продуктивность1 124
Разработка3 134
Нейросети и ИИ529
Безопасность385
Системные программы3 114
Игры523
Образование и наука239
Сеть и IT284

Lean: скачать старые версии

Programming Language and Theorem Prover

Список включает 24 версии программы Lean — с 1 мая 2025 г. по текущую версию 4.35.0. Каждая версия ведёт на установщики с сервера разработчика.

2025: 10 10 25 2026: 14 14 26

24 версии за 1 год · примерно 17 в год

ВерсияДатаРазмерФайлы
4.35.0Последняя 12 октября 2026 г. — 64-бит ZIP
Список изменений
This is the v4.35.0 release of Lean. View the release notes for more information.
4.34.1 24 сентября 2026 г. — 64-бит ZIP
Список изменений
This is the v4.34.1 release of Lean. View the release notes for more information.
4.34.0 14 сентября 2026 г. — 64-бит ZIP
Список изменений
This is the v4.34.0 release of Lean. View the release notes for more information.
4.33.1 21 августа 2026 г. — 64-бит ZIP
Список изменений
This is the v4.33.1 release of Lean. View the release notes for more information.
4.33.0 10 августа 2026 г. — 64-бит ZIP
Список изменений
This is the v4.33.0 release of Lean. View the release notes for more information.
4.32.2 28 июля 2026 г. — 64-бит ZIP
Список изменений
This is the v4.32.2 release of Lean. View the release notes for more information.
4.32.1 22 июля 2026 г. — 64-бит ZIP
Список изменений
This is the v4.32.1 release of Lean. View the release notes for more information.
4.32.0 13 июля 2026 г. — 64-бит ZIP
Список изменений
This is the v4.32.0 release of Lean. View the release notes for more information.
4.31.0 15 июня 2026 г. — 64-бит ZIP
Список изменений
This is the v4.31.0 release of Lean. View the release notes for more information.
4.30.0 26 мая 2026 г. — 64-бит ZIP
Список изменений
This is the v4.30.0 release of Lean. View the release notes for more information.
4.29.1 14 апреля 2026 г. — 64-бит ZIP
4.29.0 27 марта 2026 г. — 64-бит ZIP
4.28.0 16 февраля 2026 г. — 64-бит ZIP
4.27.0 23 января 2026 г. — 64-бит ZIP
4.26.0 13 декабря 2025 г. — 64-бит ZIP
4.25.2 24 ноября 2025 г. — 64-бит ZIP
4.25.0 14 ноября 2025 г. — 64-бит ZIP
4.24.0 14 октября 2025 г. — 64-бит ZIP
4.23.0 14 сентября 2025 г. — 64-бит ZIP
4.22.0 14 августа 2025 г. — 64-бит ZIP
4.21.0 30 июня 2025 г. — 64-бит ZIP
4.20.1 4 июня 2025 г. — 64-бит ZIP
4.20.0 2 июня 2025 г. — 64-бит ZIP
4.19.0 1 мая 2025 г. — 64-бит ZIP

Самое популярное в категории «IDE и редакторы кода»

Показать все
  1. OpenCodeIDE и редакторы кода · OpenCode
  2. RStudioIDE и редакторы кода · Posit Software
  3. Node.js (LTS)IDE и редакторы кода · Node.js Foundation
  4. Apache NetBeansIDE и редакторы кода · Apache NetBeans
  5. VSCodiumIDE и редакторы кода · VSCodium
  6. HaxeIDE и редакторы кода · Haxe Foundation
  7. ThonnyIDE и редакторы кода · Aivar Annamaa
  8. GDevelopIDE и редакторы кода · GDevelop Team
  9. mkcertIDE и редакторы кода · FiloSottile
  10. ProcessingIDE и редакторы кода · Processing Foundation

Другие программы разработчика Lean FRO

Показать все

Теги

Поделиться