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

Категории

Интернет1 364
Общение322
Аудио и видео904
Графика и дизайн544
Офис и продуктивность1 127
Разработка3 147
Нейросети и ИИ535
Безопасность392
Системные программы3 146
Игры526
Образование и наука239
Сеть и IT283

Скачать Lean 4.28.0

Programming Language and Theorem Prover

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

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

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

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

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

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

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

Показать все

Теги

Поделиться