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
Naşirin təsviri (ingilis)
Lean nədir?
Lean proqramı ıde və kod redaktorları kateqoriyasına aid açıq mənbəli Windows proqram təminatıdır; naşiri: Lean FRO. Proqramlaşdırma dili: Lean.
Quraşdırma və tələblər
Naşir 64 bit sistemlər üçün Portativ quraşdırma faylı verir. Quraşdırma olmadan işləyir (portativ).
Yeniləmələr və versiya tarixçəsi
Son versiya: 4.35.0, 12 oktyabr 2026 tarixində buraxılıb. Versiya tarixçəsi 1 may 2025 tarixinə qədər uzanır: 24 versiyanın hamısı rəsmi fayllara keçidlə verilir. Bu, ildə təxminən 17 yeniləmə deməkdir. Son yeniləmə bir aydan da yenidir.
Populyarlıq və fayl növləri
GitHub-dakı mənbə kodu (leanprover/lean4) 9.626 ulduz toplayıb. Oxşar proqramlar: OpenCode, RStudio və Node.js (LTS).
GitHub-dakı layihə təsviri: “Lean 4 programming language and theorem prover”
Üstünlüklər / Çatışmazlıqlar
Üstünlüklər
- Açıq mənbə: kodu hər kəs yoxlaya və yığa bilər
- Portativ: quraşdırma tələb etmir
- Tez-tez yenilənir (ildə təxminən 17)
- Geniş istifadəçi kütləsi
Çatışmazlıqlar
- Yerli ARM64 versiyası yoxdur
Qısaca: Lean 64 bit kompüterlər üçün açıq mənbəli alətdir (ıde və kod redaktorları). Mütəmadi olaraq yenilənir.
Lean proqramını yükləmək təhlükəsizdirmi?
- Fayl naşirin öz domenindən (github.com) gəlir
- Yükləmə keçidi HTTPS istifadə edir
- SHA256 heşi dərc olunub, faylı yoxlaya bilərsiniz:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Bu heş üçün VirusTotal hesabatını açın - Keçid hələ yoxlanılmayıb
- Mənbə kodu açıqdır
- ExeAtlas quraşdırma fayllarını saxlamır, bükmür və dəyişmir
Əlaqəli təlimat: Windows-da faylın SHA256 heşini necə yoxlamaq olar
Təhlükəsizlik təcrübələri (OpenSSF Scorecard)
Open Source Security Foundation-ın GitHub-dakı leanprover/lean4 reposu üçün avtomatik yoxlaması; son dəfə 19 oktyabr 2026 tarixində işə salınıb.
- Aktiv dəstək10
- Təhlükəli iş axını yoxdur10
- Lisenziya göstərilib10
- Repoda binar fayl yoxdur10
- Sabitlənmiş asılılıqlar4
- Kod yoxlaması1
- Məhdud token icazələri0
- OpenSSF Best Practices nişanı0
- Təhlükəsizlik siyasəti0
- Fuzz testi0
- İmzalı buraxılışlar0
- Statik kod analizi0
Bal layihənin necə hazırlandığını və buraxıldığını ölçür, proqramı quraşdırmağın təhlükəsiz olub-olmadığını yox. scorecard.dev
Son versiyalar
Bütün 24 versiya ›1 ildə 24 versiya · ildə təxminən 17 yeniləmə
| Versiya | Tarix | Ölçü | Fayllar |
|---|---|---|---|
| 4.35.0Son versiya | 12 oktyabr 2026 | — | 64 bit ZIP |
| 4.34.1 | 24 sentyabr 2026 | — | 64 bit ZIP |
| 4.34.0 | 14 sentyabr 2026 | — | 64 bit ZIP |
| 4.33.1 | 21 avqust 2026 | — | 64 bit ZIP |
| 4.33.0 | 10 avqust 2026 | — | 64 bit ZIP |
| 4.32.2 | 28 iyul 2026 | — | 64 bit ZIP |
| 4.32.1 | 22 iyul 2026 | — | 64 bit ZIP |
| 4.32.0 | 13 iyul 2026 | — | 64 bit ZIP |
Əmr sətrindən quraşdırma
Səssiz quraşdırma ›winget install --id Lean.Lean -eProqram faylları (.exe): lean.exe, leanc.exe
Əlaqəli təlimat: winget necə istifadə olunur: quraşdırma və yeniləmə
Məlumat
- Naşir
- Lean FRO
- Kateqoriya
- IDE və kod redaktorları
- Lisenziya
- Apache-2.0
- Qiymət
- Pulsuz
- Mənbə kodu
- github.com/leanprover/lean4
- Proqramlaşdırma dili
- Lean
- Tələb
- Windows 11 / 10
- Arxitektura
- 64 bit
- Quraşdırma növü
- Portativ
- Versiya
- 4.35.0
- Buraxılış tarixi
- 12 oktyabr 2026
- Kataloqa əlavə olunub
- 6 may 2025
- Qeydə alınmış versiya
- 24
- İllik yeniləmə
- 16,6
- GitHub ulduzu
- 9.626
- GitHub fork
- 1.059
- Rəsmi sayt
- lean-lang.org
- winget ID
- Lean.Lean
Qiymətlər və rəylər
Hələ rəy yoxdur. İlk qiyməti siz verin.
Lean alternativləri
Hamısına bax ›-
Açıq mənbə285,2K ↓ -
Açıq mənbə705,1K ↓ -
Açıq mənbə4,9 mln ↓ -
Açıq mənbə88,8K ↓ -
Açıq mənbə49,7K ↓ -
Açıq mənbə394,5K ↓ -
Açıq mənbə79,2K ↓ -
Açıq mənbə94,6K ↓
Tez-tez verilən suallar
Lean pulsuzdurmu?
Bəli. Lean açıq mənbəli proqramdır (Apache-2.0 lisenziyası).
Lean proqramını yükləmək təhlükəsizdirmi?
Fayl github.com ünvanından yüklənir; bu ünvan naşirə məxsusdur. ExeAtlas faylı saxlamır və dəyişmir. Yüklədiyiniz faylın SHA256 heşini burada göstərilənlə müqayisə edə və ya bu heş üçün VirusTotal hesabatını aça bilərsiniz.
Lean proqramı winget ilə necə quraşdırılır?
PowerShell və ya Windows Terminal açın və bu səhifədəki winget əmrini işə salın. winget rəsmi quraşdırma faylını yükləyir və işə salmazdan əvvəl SHA256 heşini yoxlayır.
Lean ARM prosessorda (Windows on Arm) işləyirmi?
ARM64 versiyası yoxdur; Windows 11 on Arm 64 bit versiyasını emulyasiya ilə işə sala bilər.
Lean proqramının köhnə versiyasını haradan yükləmək olar?
Versiyalar səhifəsində 24 versiyanın hamısı (1 may 2025 tarixinə qədər) rəsmi quraşdırma fayllarına keçidlərlə siyahıya alınıb.
Lean proqramından administrator hüquqları olmadan istifadə etmək olarmı?
Bəli, portativdir: arxivdən çıxarıb işə salmaq kifayətdir.
Lean alternativləri hansılardır?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans və Haxe. Alternativlər səhifəsi onları müqayisə edir.
