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

Категории

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

Скачать Lean 4.25.2

Programming Language and Theorem Prover

Lean FRO IDE и редакторы кода
Это старая версия. Последняя версия — 4.35.0. Lean 4.35.0 · Дата выхода:

Файлы установки 4.25.2

АрхитектураТипДля когоРазмер файлаСкачатьSHA256
64-бит ZIP → Портативная — — github.com VirusTotal

Ссылка и SHA256 взяты из манифеста сообщества Windows Package Manager. Перед запуском сравните хеш скачанного файла.

Список изменений

https://github.com/leanprover/lean4/releases/tag/v4.25.2

Самое популярное в категории «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

Показать все

Теги

Поделиться