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.
Nashr etuvchining tavsifi (inglizcha)
Elan nima?
Elan dasturi — Windows uchun ochiq kodli ilova. Nashr etuvchi: Lean FRO. Dasturlash tili: Rust.
Oʻrnatish va tizim talablari
Nashr etuvchi 64 bitli tizimlar uchun Portativ oʻrnatish fayllarini taqdim etadi. Oʻrnatishsiz ishlaydi (portativ).
Yangilanishlar va versiyalar tarixi
Eng soʻnggi versiya — 4.2.4, 25-avgust, 2026 sanasida chiqarilgan. Versiyalar tarixida 7 ta reliz bor, eng birinchisi 30-aprel, 2025 sanasiga tegishli; barchasi rasmiy fayllarga bogʻlangan. Bu yiliga taxminan 5,3 ta reliz demakdir.
Ommaboplik va fayl turlari
GitHubdagi manba kodi (leanprover/elan) 659 ta yulduzga ega.
GitHubdagi loyiha tavsifi: “The Lean version manager”
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Portativ: oʻrnatishsiz ishlaydi
Kamchiliklari
- Mahalliy ARM64 versiyasi yoʻq
Qisqacha xulosa: Elan — 64 bitli kompyuterlar uchun ochiq kodli Windows vositasi. Faol rivojlantirilmoqda.
Elan dasturini yuklab olish xavfsizmi?
- Fayl nashr etuvchining oʻz domeni — github.com orqali beriladi
- Yuklab olish havolasi HTTPS protokolidan foydalanadi
- SHA256 xeshi eʼlon qilingan, shuning uchun faylni tekshirish mumkin:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· Bu xesh uchun VirusTotal hisobotini ochish - Havola hali tekshirilmagan
- Manba kodi ochiq
- ExeAtlas oʻrnatish fayllarini saqlamaydi, oʻramaydi va oʻzgartirmaydi
Tegishli qoʻllanma: Windowsda fayl SHA256 xeshini tekshirish
Soʻnggi versiyalar
Barcha 7 ta versiya ›1 yilda 7 ta versiya · yiliga taxminan 5,3 ta
| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 4.2.4Eng soʻnggi | 25-avgust, 2026 | — | 64 bitli ZIP |
| 4.2.3 | 8-iyun, 2026 | — | 64 bitli ZIP |
| 4.2.2 | 28-may, 2026 | — | 64 bitli ZIP |
| 4.2.1 | 18-mart, 2026 | — | 64 bitli ZIP |
| 4.2.0 | 25-fevral, 2026 | — | 64 bitli ZIP |
| 4.1.2 | 26-may, 2025 | — | 64 bitli ZIP |
| 4.1.1 | 30-aprel, 2025 | — | 64 bitli ZIP |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›winget install --id Lean.Elan -escoop install main/elanDastur fayllari (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
Tegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Maʼlumot
- Nashr etuvchi
- Lean FRO
- Litsenziya
- Apache-2.0
- Narxi
- Bepul
- Manba kodi
- github.com/leanprover/elan
- Dasturlash tili
- Rust
- Talablar
- Windows 11 / 10
- Arxitektura
- 64 bitli
- Oʻrnatuvchi turi
- Portativ
- Versiya
- 4.2.4
- Chiqarilgan sana
- 25-avgust, 2026
- Katalogga qoʻshilgan
- 4-may, 2025
- Roʻyxatdagi versiyalar
- 7
- Yiliga yangilanishlar
- 5,3
- GitHub yulduzlari
- 659
- GitHub forklari
- 60
- Veb-sayt
- github.com
- winget ID
- Lean.Elan
- Scoop paketi
- main/elan
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
Koʻp beriladigan savollar
Elan bepulmi?
Ha. Elan — ochiq kodli dastur (Apache-2.0 litsenziyasi).
Elan dasturini yuklab olish xavfsizmi?
Fayl github.com manzilidan yuklab olinadi; bu manzil nashr etuvchiga tegishli. ExeAtlas faylni saqlamaydi va oʻzgartirmaydi. Yuklab olingan faylning SHA256 xeshini shu yerda koʻrsatilgani bilan solishtiring yoki bu xesh uchun VirusTotal hisobotini oching.
Elan dasturini winget orqali qanday oʻrnatish mumkin?
PowerShell yoki Windows Terminalni oching va shu sahifadagi winget buyrugʻini ishga tushiring. winget rasmiy oʻrnatish faylini yuklab oladi va ishga tushirishdan oldin uning SHA256 xeshini tekshiradi.
Elan ARM protsessorida (Windows on Arm) ishlaydimi?
ARM64 versiyasi yoʻq; Windows 11 on Arm 64 bitli versiyasini emulyatsiya orqali ishga tushira oladi.
Elan dasturining eski versiyasini qayerdan yuklab olish mumkin?
Versiyalar sahifasida barcha 7 ta versiya rasmiy oʻrnatish fayllariga havolalar bilan berilgan; eng eskisi 30-aprel, 2025 sanasiga tegishli.
Elan dasturidan administrator huquqlarisiz foydalanish mumkinmi?
Ha, u portativ: arxivdan chiqarib, ishga tushiring.
