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
Nashr etuvchining tavsifi (inglizcha)
Lean nima?
Lean dasturi — Windows uchun ochiq kodli ilova, «IDE va kod muharrirlari» kategoriyasiga kiradi. Nashr etuvchi: Lean FRO. Dasturlash tili: Lean.
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.35.0, 12-oktabr, 2026 sanasida chiqarilgan. Versiyalar tarixida 24 ta reliz bor, eng birinchisi 1-may, 2025 sanasiga tegishli; barchasi rasmiy fayllarga bogʻlangan. Bu yiliga taxminan 17 ta reliz demakdir. Soʻnggi yangilanish bir oydan kamroq vaqt oldin chiqqan.
Ommaboplik va fayl turlari
GitHubdagi manba kodi (leanprover/lean4) 9 626 ta yulduzga ega. Oʻxshash dasturlar: OpenCode, RStudio va Node.js (LTS).
GitHubdagi loyiha tavsifi: “Lean 4 programming language and theorem prover”
Afzalliklari / Kamchiliklari
Afzalliklari
- Ochiq kodli: kodni istalgan kishi koʻrib chiqishi va yigʻishi mumkin
- Portativ: oʻrnatishsiz ishlaydi
- Tez-tez yangilanadi (yiliga taxminan 17 marta)
- Keng foydalanuvchilar auditoriyasi
Kamchiliklari
- Mahalliy ARM64 versiyasi yoʻq
Qisqacha xulosa: Lean — 64 bitli kompyuterlar uchun ochiq kodli Windows vositasi («IDE va kod muharrirlari» kategoriyasi). Faol rivojlantirilmoqda.
Lean 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:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· 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
Xavfsizlik amaliyotlari (OpenSSF Scorecard)
Open Source Security Foundation GitHubdagi leanprover/lean4 omborini avtomatik tekshiradi; oxirgi tekshiruv sanasi: 19-oktabr, 2026.
- Faol qoʻllab-quvvatlanadi10
- Xavfli workflowlar yoʻq10
- Litsenziya koʻrsatilgan10
- Omborda binar fayllar yoʻq10
- Qatʼiy belgilangan bogʻliqliklar4
- Kod tekshiruvi1
- Cheklangan token ruxsatlari0
- OpenSSF Best Practices nishoni0
- Xavfsizlik siyosati0
- Fuzz-testlash0
- Imzolangan relizlar0
- Statik kod tahlili0
Ball loyiha qanday ishlab chiqilishi va chiqarilishini baholaydi, dasturni oʻrnatish xavfsizmi yoki yoʻqligini emas. scorecard.dev
Soʻnggi versiyalar
Barcha 24 ta versiya ›1 yilda 24 ta versiya · yiliga taxminan 17 ta
| Versiya | Sana | Hajmi | Fayllar |
|---|---|---|---|
| 4.35.0Eng soʻnggi | 12-oktabr, 2026 | — | 64 bitli ZIP |
| 4.34.1 | 24-sentabr, 2026 | — | 64 bitli ZIP |
| 4.34.0 | 14-sentabr, 2026 | — | 64 bitli ZIP |
| 4.33.1 | 21-avgust, 2026 | — | 64 bitli ZIP |
| 4.33.0 | 10-avgust, 2026 | — | 64 bitli ZIP |
| 4.32.2 | 28-iyul, 2026 | — | 64 bitli ZIP |
| 4.32.1 | 22-iyul, 2026 | — | 64 bitli ZIP |
| 4.32.0 | 13-iyul, 2026 | — | 64 bitli ZIP |
Buyruq satridan oʻrnatish
Jim oʻrnatish ›winget install --id Lean.Lean -eDastur fayllari (.exe): lean.exe, leanc.exe
Tegishli qoʻllanma: winget: dasturlarni oʻrnatish va yangilash
Maʼlumot
- Nashr etuvchi
- Lean FRO
- Kategoriya
- IDE va kod muharrirlari
- Litsenziya
- Apache-2.0
- Narxi
- Bepul
- Manba kodi
- github.com/leanprover/lean4
- Dasturlash tili
- Lean
- Talablar
- Windows 11 / 10
- Arxitektura
- 64 bitli
- Oʻrnatuvchi turi
- Portativ
- Versiya
- 4.35.0
- Chiqarilgan sana
- 12-oktabr, 2026
- Katalogga qoʻshilgan
- 6-may, 2025
- Roʻyxatdagi versiyalar
- 24
- Yiliga yangilanishlar
- 16,6
- GitHub yulduzlari
- 9 626
- GitHub forklari
- 1 059
- Veb-sayt
- lean-lang.org
- winget ID
- Lean.Lean
Baholar va sharhlar
Hali sharhlar yoʻq. Birinchi boʻlib baholang.
Lean dasturiga muqobillar
Barchasini koʻrish ›-
Ochiq kodli285,2 ming ↓ -
Ochiq kodli705,1 ming ↓ -
Ochiq kodli4,9 mln ↓ -
Ochiq kodli88,8 ming ↓ -
Ochiq kodli49,7 ming ↓ -
Ochiq kodli394,5 ming ↓ -
Ochiq kodli79,2 ming ↓ -
Ochiq kodli94,6 ming ↓
Koʻp beriladigan savollar
Lean bepulmi?
Ha. Lean — ochiq kodli dastur (Apache-2.0 litsenziyasi).
Lean 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.
Lean 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.
Lean ARM protsessorida (Windows on Arm) ishlaydimi?
ARM64 versiyasi yoʻq; Windows 11 on Arm 64 bitli versiyasini emulyatsiya orqali ishga tushira oladi.
Lean dasturining eski versiyasini qayerdan yuklab olish mumkin?
Versiyalar sahifasida barcha 24 ta versiya rasmiy oʻrnatish fayllariga havolalar bilan berilgan; eng eskisi 1-may, 2025 sanasiga tegishli.
Lean dasturidan administrator huquqlarisiz foydalanish mumkinmi?
Ha, u portativ: arxivdan chiqarib, ishga tushiring.
Lean dasturiga qanday muqobillar bor?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans va Haxe. Muqobillar sahifasi ularni taqqoslaydi.
