Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including:
- Type inference
- First-class functions
- Powerful data types
- Pattern matching
- Type classes
- Extensible syntax
- Hygienic macros
- Dependent types
- Metaprogramming framework
- Multithreading
- Verification: you can prove properties of your functions using Lean itself
Yayıncının açıklaması (İngilizce)
Lean nedir?
Lean programı ıde ve kod editörleri kategorisinde yer alan açık kaynaklı bir Windows yazılımıdır; yayıncısı Lean FRO. Programlama dili: Lean.
Kurulum ve gereksinimler
Yayıncı 64 bit sistemler için Taşınabilir kurulum dosyası sağlıyor. Kurulum gerektirmeden çalışır (taşınabilir).
Güncellemeler ve sürüm geçmişi
Güncel sürüm 4.35.0; 12 Ekim 2026 tarihinde yayımlandı. Sürüm geçmişi 1 Mayıs 2025 tarihine kadar uzanıyor: 24 sürümün tamamı resmî dosyalara bağlı. Bu, yılda yaklaşık 17 güncelleme demek. Son güncelleme bir aydan daha yeni.
Popülerlik ve dosya türleri
GitHub'daki kaynak kodu (leanprover/lean4) 9.626 yıldız almış. Benzer programlar arasında OpenCode, RStudio ve Node.js (LTS) bulunuyor.
GitHub’daki proje açıklaması: “Lean 4 programming language and theorem prover”
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Taşınabilir: kurulum gerektirmez
- Sık güncelleniyor (yılda yaklaşık 17)
- Geniş kullanıcı kitlesi
Eksiler
- Yerel ARM64 sürümü yok
Kısaca: Lean, 64 bit bilgisayarlar için açık kaynaklı bir ıde ve kod editörleri aracı. Düzenli olarak güncelleniyor.
Lean indirmek güvenli mi?
- Dosya yayıncının kendi alan adından (github.com) geliyor
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Bu hash için VirusTotal raporunu açın - Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Güvenlik uygulamaları (OpenSSF Scorecard)
Open Source Security Foundation'ın GitHub'daki leanprover/lean4 deposu için yaptığı otomatik denetim; son çalıştırma 19 Ekim 2026.
- Etkin bakım10
- Tehlikeli iş akışı yok10
- Lisans belirtilmiş10
- Depoda ikili dosya yok10
- Sabitlenmiş bağımlılıklar4
- Kod incelemesi1
- Kısıtlı belirteç izinleri0
- OpenSSF iyi uygulama rozeti0
- Güvenlik politikası0
- Fuzz testi0
- İmzalı sürümler0
- Statik kod analizi0
Puan, projenin nasıl geliştirilip yayımlandığını ölçer; programın kurulmasının güvenli olup olmadığını değil. scorecard.dev
Son sürümler
24 sürümün tümü ›1 yılda 24 sürüm · yılda yaklaşık 17 güncelleme
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 4.35.0Güncel | 12 Ekim 2026 | — | 64 bit ZIP |
| 4.34.1 | 24 Eylül 2026 | — | 64 bit ZIP |
| 4.34.0 | 14 Eylül 2026 | — | 64 bit ZIP |
| 4.33.1 | 21 Ağustos 2026 | — | 64 bit ZIP |
| 4.33.0 | 10 Ağustos 2026 | — | 64 bit ZIP |
| 4.32.2 | 28 Temmuz 2026 | — | 64 bit ZIP |
| 4.32.1 | 22 Temmuz 2026 | — | 64 bit ZIP |
| 4.32.0 | 13 Temmuz 2026 | — | 64 bit ZIP |
Komut satırından kurulum
Sessiz kurulum ›winget install --id Lean.Lean -eProgram dosyaları (.exe): lean.exe, leanc.exe
İlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Bilgiler
- Yayıncı
- Lean FRO
- Kategori
- IDE ve kod editörleri
- Lisans
- Apache-2.0
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com/leanprover/lean4
- Yazıldığı dil
- Lean
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- Taşınabilir
- Sürüm
- 4.35.0
- Çıkış tarihi
- 12 Ekim 2026
- Kataloğa eklenme
- 6 Mayıs 2025
- Kayıtlı sürüm
- 24
- Yıllık güncelleme
- 16,6
- GitHub yıldızı
- 9.626
- GitHub fork
- 1.059
- Resmî site
- lean-lang.org
- winget kimliği
- Lean.Lean
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
Lean alternatifleri
Tümünü gör ›-
Açık kaynak285,2 B ↓ -
Açık kaynak705,1 B ↓ -
Açık kaynak4,9 Mn ↓ -
Açık kaynak88,8 B ↓ -
Açık kaynak49,7 B ↓ -
Açık kaynak394,5 B ↓ -
Açık kaynak79,2 B ↓ -
Açık kaynak94,6 B ↓
Sıkça sorulan sorular
Lean ücretsiz mi?
Evet. Lean açık kaynaklı bir programdır (Apache-2.0 lisansı).
Lean indirmek güvenli mi?
İndirme github.com adresinden gelir; bu adres yayıncıya ait. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
Lean winget ile nasıl kurulur?
PowerShell ya da Windows Terminal açıp bu sayfadaki winget komutunu çalıştırın. winget resmî kurulum dosyasını indirir ve çalıştırmadan önce SHA256 değerini doğrular.
Lean ARM işlemcide (Windows on Arm) çalışır mı?
ARM64 sürümü yok; Windows 11 on Arm, 64 bit sürümünü öykünmeyle çalıştırabilir.
Lean eski sürümü nereden indirilir?
Sürümler sayfasında 24 sürümün tamamı (1 Mayıs 2025 tarihine kadar) resmî kurulum dosyası bağlantılarıyla listeleniyor.
Lean yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.
Lean alternatifleri nelerdir?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans ve Haxe. Alternatifler sayfası bunları karşılaştırıyor.
