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

Категории

Интернет1 409
Общение327
Аудио и видео931
Графика и дизайн563
Офис и продуктивность1 167
Разработка3 263
Нейросети и ИИ600
Безопасность406
Системные программы3 174
Игры543
Образование и наука240
Сеть и IT292

Скачать Lean 4.30.0

Programming Language and Theorem Prover

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

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

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

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

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

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

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

Показать все

Теги

Поделиться