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
Popis od výrobcu (angličtina)
Čo je Lean?
Program Lean vydáva Lean FRO. Ide o softvér pre Windows s otvoreným zdrojovým kódom, kategória „IDE a editory kódu“. Programovací jazyk: Lean.
Inštalácia a systémové požiadavky
Výrobca ponúka inštalátory Prenosná verzia pre systémy 64-bit. Program funguje bez inštalácie (prenosná verzia).
Aktualizácie a história verzií
Najnovšia verzia je 4.35.0, vydaná 12. októbra 2026. História verzií siaha až k 1. mája 2025: spolu 24 verzií s odkazmi na oficiálne súbory. To je zhruba 17 vydaní ročne. Posledná aktualizácia vyšla pred menej ako mesiacom.
Obľúbenosť a typy súborov
Zdrojový kód na GitHube (leanprover/lean4) má 9 626 hviezdičiek. Podobné programy: OpenCode, RStudio a Node.js (LTS).
Popis projektu na GitHube: “Lean 4 programming language and theorem prover”
Výhody / Nevýhody
Výhody
- Otvorený zdrojový kód: ktokoľvek ho môže skontrolovať a zostaviť
- Prenosná verzia: funguje bez inštalácie
- Časté aktualizácie (zhruba 17 ročne)
- Veľká používateľská základňa
Nevýhody
- Chýba natívne zostavenie ARM64
V skratke: Lean je program pre Windows s otvoreným zdrojovým kódom (kategória „IDE a editory kódu“); zostavenia: 64-bit. Program sa pravidelne aktualizuje.
Je stiahnutie programu Lean bezpečné?
- Súbor sa sťahuje z domény výrobcu (github.com)
- Odkaz na stiahnutie používa HTTPS
- Hash SHA256 je zverejnený – súbor sa dá overiť:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Otvoriť správu VirusTotal pre tento hash - Odkaz zatiaľ nebol overený
- Otvorený zdrojový kód
- ExeAtlas inštalátory neukladá, nebalí ani nemení
Súvisiaci návod: Ako vo Windows overiť hash SHA256 súboru
Bezpečnostné postupy (OpenSSF Scorecard)
Automatické kontroly repozitára leanprover/lean4 na GitHube, ktoré vykonáva Open Source Security Foundation; naposledy 19. októbra 2026.
- Aktívne udržiavaný10
- Bez nebezpečných workflow10
- Uvedená licencia10
- Bez binárnych súborov v repozitári10
- Pripnuté závislosti4
- Revízia kódu1
- Obmedzené oprávnenia tokenov0
- Odznak OpenSSF Best Practices0
- Bezpečnostné zásady0
- Fuzzing0
- Podpísané vydania0
- Statická analýza kódu0
Skóre hodnotí, ako sa projekt vyvíja a vydáva, nie to, či je inštalácia programu bezpečná. scorecard.dev
Posledné verzie
Všetky verzie (24) ›24 verzií za 1 rok · približne 17 ročne
| Verzia | Dátum | Veľkosť | Súbory |
|---|---|---|---|
| 4.35.0Najnovšia | 12. októbra 2026 | — | 64-bit ZIP |
| 4.34.1 | 24. septembra 2026 | — | 64-bit ZIP |
| 4.34.0 | 14. septembra 2026 | — | 64-bit ZIP |
| 4.33.1 | 21. augusta 2026 | — | 64-bit ZIP |
| 4.33.0 | 10. augusta 2026 | — | 64-bit ZIP |
| 4.32.2 | 28. júla 2026 | — | 64-bit ZIP |
| 4.32.1 | 22. júla 2026 | — | 64-bit ZIP |
| 4.32.0 | 13. júla 2026 | — | 64-bit ZIP |
Inštalácia z príkazového riadka
Tichá inštalácia ›winget install --id Lean.Lean -eProgramové súbory (.exe): lean.exe, leanc.exe
Súvisiaci návod: Ako používať winget: inštalácia a aktualizácia programov
Informácie
- Výrobca
- Lean FRO
- Kategória
- IDE a editory kódu
- Licencia
- Apache-2.0
- Cena
- Zadarmo
- Zdrojový kód
- github.com/leanprover/lean4
- Programovací jazyk
- Lean
- Požiadavky
- Windows 11 / 10
- Architektúra
- 64-bit
- Inštalátor
- Prenosná verzia
- Verzia
- 4.35.0
- Dátum vydania
- 12. októbra 2026
- Pridané do katalógu
- 6. mája 2025
- Verzií v katalógu
- 24
- Aktualizácií za rok
- 16,6
- Hviezdičky na GitHube
- 9 626
- Forky na GitHube
- 1 059
- Web
- lean-lang.org
- ID winget
- Lean.Lean
Hodnotenia a recenzie
Zatiaľ žiadne recenzie. Hodnotenie môžete pridať ako prví.
Alternatívy k programu Lean
Zobraziť všetko ›-
Open source285,2 tis. ↓ -
Open source705,1 tis. ↓ -
Open source4,9 mil. ↓ -
Open source88,8 tis. ↓ -
Open source49,7 tis. ↓ -
Open source394,5 tis. ↓ -
Open source79,2 tis. ↓ -
Open source94,6 tis. ↓
Časté otázky
Je program Lean zadarmo?
Áno. Lean je program s otvoreným zdrojovým kódom (licencia Apache-2.0); stiahnutie aj používanie je zadarmo.
Je stiahnutie programu Lean bezpečné?
Súbor sa sťahuje z github.com – táto doména patrí výrobcovi; ExeAtlas súbor neukladá ani nemení. Porovnajte SHA256 stiahnutého súboru s hodnotou na tejto stránke alebo otvorte správu VirusTotal pre tento hash.
Ako nainštalovať Lean cez winget?
Otvorte PowerShell alebo Windows Terminal a spustite príkaz winget z tejto stránky. winget stiahne oficiálny inštalátor a pred spustením overí jeho hash SHA256.
Funguje Lean na ARM (Windows on Arm)?
Zostavenie ARM64 neexistuje; Windows 11 on Arm dokáže verziu 64-bit spustiť pomocou emulácie.
Kde stiahnuť staršie verzie programu Lean?
Stránka verzií obsahuje odkazy na oficiálne inštalátory všetkých verzií (24) od 1. mája 2025.
Dá sa program Lean používať bez oprávnení správcu?
Áno, ide o prenosnú verziu: stačí ju rozbaliť a spustiť.
Aké sú alternatívy k programu Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans a Haxe. Porovnanie nájdete na stránke alternatív.
