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

Категории

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

Скачать Lean 4.32.2

Programming Language and Theorem Prover

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

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

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

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

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

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

https://github.com/leanprover/lean4/releases/tag/v4.32.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

Показать все

Теги

Поделиться