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
Шығарушының сипаттамасы (ағылшын тілі)
Lean деген не?
Lean FRO ұсынатын Lean бағдарламасы «ide және код редакторлары» санатына жатады; бұл — ашық кодты бағдарлама. Бағдарламалау тілі: Lean.
Орнату және жүйелік талаптар
Шығарушы 64 бит жүйелеріне арналған Портативті орнату файлдарын береді. Орнатусыз жұмыс істейді (портативті нұсқа).
Жаңартулар және нұсқалар тарихы
Қазіргі нұсқа — 4.35.0 (шыққан күні: 2026 ж. 12 қазан). Нұсқалар тарихы 2025 ж. 1 мамыр күніне дейін созылады: 24 шығарылымның бәрі ресми файлдарға байланған. Бұл — жылына шамамен 17 жаңарту. Соңғы жаңартуға әлі бір ай толған жоқ.
Танымалдығы және файл түрлері
GitHub-тағы бастапқы коды (leanprover/lean4) 9 626 жұлдыз жинаған. Ұқсас бағдарламалар: OpenCode, RStudio және Node.js (LTS).
GitHub-тағы жоба сипаттамасы: “Lean 4 programming language and theorem prover”
Артықшылықтары / Кемшіліктері
Артықшылықтары
- Ашық код: кез келген адам кодты тексеріп, өзі құрастыра алады
- Портативті: орнатуды қажет етпейді
- Жиі жаңартылады (жылына шамамен 17)
- Пайдаланушылар аудиториясы кең
Кемшіліктері
- Нативті ARM64 нұсқасы жоқ
Қысқаша: Lean — 64 бит компьютерлеріне арналған ашық кодты «ide және код редакторлары» санатындағы құрал. Тұрақты түрде жаңартылып отырады.
Lean бағдарламасын жүктеп алу қауіпсіз бе?
- Файл шығарушының өз доменінен (github.com) беріледі
- Жүктеу сілтемесі HTTPS қолданады
- SHA256 хэші жарияланған, файлды тексере аласыз:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Осы хэш бойынша VirusTotal есебін ашу - Сілтеме әлі тексерілмеген
- Бастапқы коды ашық
- ExeAtlas орнату файлдарын сақтамайды, орамайды және өзгертпейді
Тақырыптас нұсқаулық: Windows-та файлдың SHA256 хэшін тексеру
Қауіпсіздік тәжірибелері (OpenSSF Scorecard)
Open Source Security Foundation жүргізетін GitHub-тағы leanprover/lean4 репозиторийінің автоматты тексерісі. Соңғы іске қосылуы: 2026 ж. 19 қазан.
- Белсенді қолдау10
- Қауіпті workflow жоқ10
- Лицензия көрсетілген10
- Репозиторийде бинарлық файл жоқ10
- Тәуелділіктер бекітілген4
- Кодты қарап шығу1
- Токен құқықтары шектелген0
- OpenSSF Best Practices белгісі0
- Қауіпсіздік саясаты0
- Фаззинг0
- Қолтаңбалы шығарылымдар0
- Кодты статикалық талдау0
Бұл баға жобаның қалай әзірленіп, қалай шығарылатынын көрсетеді, бағдарламаны орнату қауіпсіз екенін емес. scorecard.dev
Соңғы нұсқалар
Барлық 24 нұсқа ›1 жылда 24 нұсқа · жылына шамамен 17 жаңарту
| Нұсқа | Күні | Көлемі | Файлдар |
|---|---|---|---|
| 4.35.0Соңғы | 2026 ж. 12 қазан | — | 64 бит ZIP |
| 4.34.1 | 2026 ж. 24 қыркүйек | — | 64 бит ZIP |
| 4.34.0 | 2026 ж. 14 қыркүйек | — | 64 бит ZIP |
| 4.33.1 | 2026 ж. 21 тамыз | — | 64 бит ZIP |
| 4.33.0 | 2026 ж. 10 тамыз | — | 64 бит ZIP |
| 4.32.2 | 2026 ж. 28 шілде | — | 64 бит ZIP |
| 4.32.1 | 2026 ж. 22 шілде | — | 64 бит ZIP |
| 4.32.0 | 2026 ж. 13 шілде | — | 64 бит ZIP |
Командалық жолдан орнату
Үнсіз орнату ›winget install --id Lean.Lean -eБағдарлама файлдары (.exe): lean.exe, leanc.exe
Тақырыптас нұсқаулық: winget қалай пайдаланылады: орнату және жаңарту
Ақпарат
- Шығарушы
- Lean FRO
- Санат
- IDE және код редакторлары
- Лицензия
- Apache-2.0
- Бағасы
- Тегін
- Бастапқы код
- github.com/leanprover/lean4
- Жазылған тілі
- Lean
- Талаптар
- Windows 11 / 10
- Архитектура
- 64 бит
- Орнатқыш түрі
- Портативті
- Нұсқа
- 4.35.0
- Шыққан күні
- 2026 ж. 12 қазан
- Каталогқа қосылған күні
- 2025 ж. 6 мамыр
- Тіркелген нұсқалар
- 24
- Жылына жаңарту
- 16,6
- GitHub жұлдыздары
- 9 626
- GitHub форктары
- 1 059
- Ресми сайт
- lean-lang.org
- winget ID
- Lean.Lean
Бағалар мен пікірлер
Әзірге пікір жоқ. Бірінші болып бағалаңыз.
Lean баламалары
Барлығын көру ›-
Ашық кодты285,2 м. ↓ -
Ашық кодты705,1 м. ↓ -
Ашық кодты4,9 млн ↓ -
Ашық кодты88,8 мың ↓ -
Ашық кодты49,7 мың ↓ -
Ашық кодты394,5 м. ↓ -
Ашық кодты79,2 мың ↓ -
Ашық кодты94,6 мың ↓
Жиі қойылатын сұрақтар
Lean тегін бе?
Иә. Lean — ашық кодты бағдарлама (Apache-2.0 лицензиясы).
Lean бағдарламасын жүктеп алу қауіпсіз бе?
Файл github.com серверінен жүктеледі, бұл сервер шығарушыға тиесілі. ExeAtlas файлды сақтамайды және өзгертпейді. Жүктелген файлдың SHA256 хэшін осы беттегі мәнмен салыстырыңыз немесе сол хэш бойынша VirusTotal есебін ашыңыз.
Lean бағдарламасын winget арқылы қалай орнатуға болады?
PowerShell немесе Windows Terminal ашып, осы беттегі winget командасын іске қосыңыз. winget ресми орнату файлын жүктеп алады және іске қоспас бұрын оның SHA256 хэшін тексереді.
Lean ARM процессорында (Windows on Arm) жұмыс істей ме?
ARM64 нұсқасы жоқ; Windows 11 on Arm 64 бит нұсқасын эмуляция арқылы іске қоса алады.
Lean ескі нұсқасын қайдан жүктеп алуға болады?
Нұсқалар бетінде барлық 24 нұсқа (2025 ж. 1 мамыр күніне дейін) ресми орнату файлдарына сілтемелерімен берілген.
Lean бағдарламасын әкімші құқықтарынсыз пайдалануға бола ма?
Иә, ол портативті: мұрағаттан шығарып, іске қоссаңыз болғаны.
Lean бағдарламасының қандай баламалары бар?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans және Haxe. Баламалар беті оларды салыстырады.
