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

Категории

Интернет1 377
Общение323
Аудио и видео913
Графика и дизайн549
Офис и продуктивность1 136
Разработка3 175
Нейросети и ИИ552
Безопасность397
Системные программы3 156
Игры532
Образование и наука239
Сеть и IT291

Скачать Lean 4.35.0

Programming Language and Theorem Prover

Это последняя версия. · Дата выхода:

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

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

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

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

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

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

Показать все

Теги

Поделиться