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

Kategoriler

İnternet1.415
İletişim328
Ses ve video936
Grafik ve tasarım561
Ofis ve verimlilik1.176
Geliştirici araçları3.279
Yapay zekâ araçları605
Güvenlik ve gizlilik407
Sistem araçları3.183
Oyunlar544
Eğitim ve bilim241
Ağ ve BT292

Lean 4.33.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.33.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.33.0 release of Lean. View the release notes for more information.

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

IDE ve kod editörleri: en popüler

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

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

Tümünü gör

Etiketler

Paylaş