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

Категории

Интернет1 378
Общение323
Аудио и видео914
Графика и дизайн552
Офис и продуктивность1 137
Разработка3 178
Нейросети и ИИ555
Безопасность396
Системные программы3 169
Игры532
Образование и наука240
Сеть и IT291

Скачать Lean 4.32.0

Programming Language and Theorem Prover

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

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

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

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

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

This is the v4.32.0 release of Lean. View the release notes for more information.

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

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

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

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

Показать все

Теги

Поделиться