Popüler: Veriler 1 Kasım 2026 tarihinde güncellendi

Kategoriler

İnternet1.361
İletişim321
Ses ve video906
Grafik ve tasarım543
Ofis ve verimlilik1.121
Geliştirici araçları3.140
Yapay zekâ araçları536
Güvenlik ve gizlilik390
Sistem araçları3.140
Oyunlar525
Eğitim ve bilim239
Ağ ve BT282

Lean 4.31.0 indir

Programming Language and Theorem Prover

Bu eski bir sürüm. Güncel sürüm: 4.35.0. Lean 4.35.0 · Çıkış tarihi:

Kurulum dosyaları 4.31.0

MimariTürKapsamDosya boyutuİndirSHA256
64 bit ZIP → Taşınabilir — — github.com VirusTotal

Bağlantı ve SHA256, Windows Paket Yöneticisi topluluk manifestinden alınmıştır. Dosyayı çalıştırmadan önce hash değerini karşılaştırın.

Sürüm notları

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

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

IDE ve kod editörleri: en popüler

Tümünü gör
  1. OpenCodeIDE ve kod editörleri · OpenCode
  2. RStudioIDE ve kod editörleri · Posit Software
  3. Node.js (LTS)IDE ve kod editörleri · Node.js Foundation
  4. Apache NetBeansIDE ve kod editörleri · Apache NetBeans
  5. VSCodiumIDE ve kod editörleri · VSCodium
  6. HaxeIDE ve kod editörleri · Haxe Foundation
  7. ThonnyIDE ve kod editörleri · Aivar Annamaa
  8. GDevelopIDE ve kod editörleri · GDevelop Team
  9. mkcertIDE ve kod editörleri · FiloSottile
  10. ProcessingIDE ve kod editörleri · Processing Foundation

Lean FRO yayıncısının diğer programları

Tümünü gör

Etiketler

Paylaş