elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
Yayıncının açıklaması (İngilizce)
Elan nedir?
Elan programı açık kaynaklı bir Windows yazılımıdır; yayıncısı Lean FRO. Programlama dili: Rust.
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.2.4; 25 Ağustos 2026 tarihinde yayımlandı. Sürüm geçmişi 30 Nisan 2025 tarihine kadar uzanıyor: 7 sürümün tamamı resmî dosyalara bağlı. Bu, yılda yaklaşık 5,3 güncelleme demek.
Popülerlik ve dosya türleri
GitHub'daki kaynak kodu (leanprover/elan) 659 yıldız almış.
GitHub’daki proje açıklaması: “The Lean version manager”
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Taşınabilir: kurulum gerektirmez
Eksiler
- Yerel ARM64 sürümü yok
Kısaca: Elan, 64 bit bilgisayarlar için açık kaynaklı bir Windows aracı. Düzenli olarak güncelleniyor.
Elan 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:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· 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
Son sürümler
7 sürümün tümü ›1 yılda 7 sürüm · yılda yaklaşık 5,3 güncelleme
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 4.2.4Güncel | 25 Ağustos 2026 | — | 64 bit ZIP |
| 4.2.3 | 8 Haziran 2026 | — | 64 bit ZIP |
| 4.2.2 | 28 Mayıs 2026 | — | 64 bit ZIP |
| 4.2.1 | 18 Mart 2026 | — | 64 bit ZIP |
| 4.2.0 | 25 Şubat 2026 | — | 64 bit ZIP |
| 4.1.2 | 26 Mayıs 2025 | — | 64 bit ZIP |
| 4.1.1 | 30 Nisan 2025 | — | 64 bit ZIP |
Komut satırından kurulum
Sessiz kurulum ›winget install --id Lean.Elan -escoop install main/elanProgram dosyaları (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
İlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Bilgiler
- Yayıncı
- Lean FRO
- Lisans
- Apache-2.0
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com/leanprover/elan
- Yazıldığı dil
- Rust
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- Taşınabilir
- Sürüm
- 4.2.4
- Çıkış tarihi
- 25 Ağustos 2026
- Kataloğa eklenme
- 4 Mayıs 2025
- Kayıtlı sürüm
- 7
- Yıllık güncelleme
- 5,3
- GitHub yıldızı
- 659
- GitHub fork
- 60
- Resmî site
- github.com
- winget kimliği
- Lean.Elan
- Scoop paketi
- main/elan
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
Sıkça sorulan sorular
Elan ücretsiz mi?
Evet. Elan açık kaynaklı bir programdır (Apache-2.0 lisansı).
Elan 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.
Elan 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.
Elan 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.
Elan eski sürümü nereden indirilir?
Sürümler sayfasında 7 sürümün tamamı (30 Nisan 2025 tarihine kadar) resmî kurulum dosyası bağlantılarıyla listeleniyor.
Elan yönetici izni olmadan kullanılabilir mi?
Evet, taşınabilir: arşivden çıkarıp çalıştırmanız yeterli.
