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
Përshkrimi i botuesit (anglisht)
Çfarë është Lean?
Botuesi i Lean është Lean FRO. Është softuer me burim të hapur për Windows, në kategorinë „IDE dhe redaktues kodi”. Është shkruar në Lean.
Instalimi dhe kërkesat
Botuesi ofron instalues Portativ për Windows 64-bit. Funksionon pa instalim (portativ).
Përditësimet dhe historiku i versioneve
Versioni i fundit është 4.35.0, publikuar më 12 tetor 2026. Historiku i versioneve fillon më 1 maj 2025: 24 publikime, të gjitha me lidhje te skedarët zyrtarë. Kjo do të thotë rreth 17 publikime në vit. Përditësimi i fundit është më pak se një muaj i vjetër.
Popullariteti dhe llojet e skedarëve
Kodi burimor në GitHub (leanprover/lean4) ka 9626 yje. Programe të ngjashme janë OpenCode, RStudio dhe Node.js (LTS).
Përshkrimi i projektit në GitHub: “Lean 4 programming language and theorem prover”
Pikat e forta / Pikat e dobëta
Pikat e forta
- Burim i hapur: kodin mund ta shqyrtojë dhe ta kompilojë kushdo
- Portativ: funksionon pa instalim
- Përditësime të shpeshta (rreth 17 në vit)
- Bazë e madhe përdoruesish
Pikat e dobëta
- Pa version vendas ARM64
Shkurtimisht: Lean është një mjet me burim të hapur në kategorinë „IDE dhe redaktues kodi”, për kompjuterë 64-bit. Mirëmbahet aktivisht.
A është i sigurt shkarkimi i Lean?
- Skedari shpërndahet nga github.com, domeni i vetë botuesit
- Lidhja e shkarkimit përdor HTTPS
- Është publikuar një hash SHA256, ndaj skedarin mund ta verifikoni:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Hapni raportin e VirusTotal për këtë hash - Lidhja ende nuk është kontrolluar
- Kodi burimor është publik
- ExeAtlas nuk ruan, nuk mbështjell dhe nuk ndryshon instalues
Udhëzues i lidhur: Si të kontrolloni hash-in SHA256 të një skedari
Praktikat e sigurisë (OpenSSF Scorecard)
Kontrolle automatike të depos leanprover/lean4 në GitHub nga Open Source Security Foundation, kryer për herë të fundit më 19 tetor 2026.
- Mirëmbahet aktivisht10
- Pa rrjedha pune të rrezikshme10
- Licencë e deklaruar10
- Pa skedarë binarë në depo10
- Varësi të fiksuara4
- Rishikim kodi1
- Leje të kufizuara të tokenëve0
- Distinktivi OpenSSF Best Practices0
- Politikë sigurie0
- Fuzzing0
- Versione të nënshkruara0
- Analizë statike e kodit0
Pikët vlerësojnë mënyrën si zhvillohet dhe publikohet projekti, jo nëse programi është i sigurt për t’u instaluar. scorecard.dev
Versionet e fundit
Të gjitha versionet (24) ›24 versione në 1 vit · rreth 17 në vit
| Versioni | Data | Madhësia | Skedarët |
|---|---|---|---|
| 4.35.0I fundit | 12 tetor 2026 | — | 64-bit ZIP |
| 4.34.1 | 24 shtator 2026 | — | 64-bit ZIP |
| 4.34.0 | 14 shtator 2026 | — | 64-bit ZIP |
| 4.33.1 | 21 gusht 2026 | — | 64-bit ZIP |
| 4.33.0 | 10 gusht 2026 | — | 64-bit ZIP |
| 4.32.2 | 28 korrik 2026 | — | 64-bit ZIP |
| 4.32.1 | 22 korrik 2026 | — | 64-bit ZIP |
| 4.32.0 | 13 korrik 2026 | — | 64-bit ZIP |
Instalimi nga rreshti i komandave
Instalim i heshtur ›winget install --id Lean.Lean -eSkedarë programesh (.exe): lean.exe, leanc.exe
Udhëzues i lidhur: Si përdoret winget: instalimi dhe përditësimi i programeve
Informacion
- Botuesi
- Lean FRO
- Kategoria
- IDE dhe redaktues kodi
- Licenca
- Apache-2.0
- Çmimi
- Falas
- Kodi burimor
- github.com/leanprover/lean4
- Shkruar në
- Lean
- Kërkon
- Windows 11 / 10
- Arkitektura
- 64-bit
- Instaluesi
- Portativ
- Versioni
- 4.35.0
- Publikuar
- 12 tetor 2026
- Shtuar në katalog
- 6 maj 2025
- Versione në listë
- 24
- Përditësime në vit
- 16,6
- Yje në GitHub
- 9626
- Forke në GitHub
- 1059
- Faqja e internetit
- lean-lang.org
- ID winget
- Lean.Lean
Vlerësime dhe komente
Ende nuk ka komente. Bëhuni i pari që e vlerësoni.
Alternativa për Lean
Shiko të gjitha ›-
Me burim të hapur285,2 mijë ↓ -
Me burim të hapur705,1 mijë ↓ -
Me burim të hapur4,9 mln ↓ -
Me burim të hapur88,8 mijë ↓ -
Me burim të hapur49,7 mijë ↓ -
Me burim të hapur394,5 mijë ↓ -
Me burim të hapur79,2 mijë ↓ -
Me burim të hapur94,6 mijë ↓
Pyetjet më të shpeshta
A është Lean falas?
Po. Lean është softuer me burim të hapur me licencën Apache-2.0.
A është i sigurt shkarkimi i Lean?
Shkarkimi vjen nga github.com, që i përket botuesit; ExeAtlas nuk e ruan dhe nuk e ndryshon skedarin. Krahasoni hash-in SHA256 të tij me atë që tregohet këtu, ose hapni raportin e VirusTotal për këtë hash.
Si ta instaloj Lean me winget?
Hapni PowerShell ose Windows Terminal dhe ekzekutoni komandën winget që tregohet në këtë faqe. winget shkarkon instaluesin zyrtar dhe kontrollon hash-in SHA256 para se ta ekzekutojë.
A funksionon Lean në ARM (Windows on Arm)?
Nuk ka version ARM64; Windows 11 on Arm mund ta ekzekutojë versionin 64-bit përmes emulimit.
Ku mund të shkarkoj një version të vjetër të Lean?
Faqja e versioneve rendit të 24 versionet me lidhje te skedarët zyrtarë të instalimit, që nga 1 maj 2025.
A mund ta përdor Lean pa të drejta administratori?
Po, është portativ: e shpaketoni dhe e nisni.
Cilat janë alternativat e Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans dhe Haxe. Faqja e alternativave i krahason.
