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ýrobce (angličtina)
Co je Lean?
Program Lean vydává Lean FRO. Jde o software pro Windows s otevřeným zdrojovým kódem, kategorie „IDE a editory kódu“. Programovací jazyk: Lean.
Instalace a systémové požadavky
Výrobce nabízí instalátory Přenosná verze pro systémy 64bit. Program funguje bez instalace (přenosná verze).
Aktualizace a historie verzí
Aktuální verze je 4.35.0, vydaná 12. října 2026. Historie verzí sahá až k 1. května 2025: celkem 24 verzí s odkazy na oficiální soubory. To je zhruba 17 vydání ročně. Poslední aktualizace vyšla před méně než měsícem.
Oblíbenost a typy souborů
Zdrojový kód na GitHubu (leanprover/lean4) má 9 626 hvězd. Podobné programy: OpenCode, RStudio a Node.js (LTS).
Popis projektu na GitHubu: “Lean 4 programming language and theorem prover”
Výhody / Nevýhody
Výhody
- Otevřený zdrojový kód: kdokoli ho může zkontrolovat a sestavit
- Přenosná verze: funguje bez instalace
- Časté aktualizace (zhruba 17 ročně)
- Velká uživatelská základna
Nevýhody
- Chybí nativní sestavení ARM64
Ve zkratce: Lean je program pro Windows s otevřeným zdrojovým kódem (kategorie „IDE a editory kódu“); sestavení: 64bit. Program se pravidelně aktualizuje.
Je stažení programu Lean bezpečné?
- Soubor se stahuje z domény výrobce (github.com)
- Odkaz ke stažení používá HTTPS
- Hash SHA256 je zveřejněn – soubor lze ověřit:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Otevřít zprávu VirusTotal pro tento hash - Odkaz zatím nebyl ověřen
- Otevřený zdrojový kód
- ExeAtlas instalátory neukládá, nebalí ani nemění
Související návod: Jak ve Windows ověřit hash SHA256 souboru
Bezpečnostní postupy (OpenSSF Scorecard)
Automatické kontroly repozitáře leanprover/lean4 na GitHubu, které provádí Open Source Security Foundation; naposledy 19. října 2026.
- Aktivně udržováno10
- Bez nebezpečných workflow10
- Uvedená licence10
- Bez binárních souborů v repozitáři10
- Připnuté závislosti4
- Revize kódu1
- Omezená oprávnění tokenů0
- Odznak OpenSSF Best Practices0
- Bezpečnostní zásady0
- Fuzzing0
- Podepsaná vydání0
- Statická analýza kódu0
Skóre hodnotí, jak se projekt vyvíjí a vydává, ne to, zda je instalace programu bezpečná. scorecard.dev
Poslední verze
Všechny verze (24) ›24 verzí za 1 rok · přibližně 17 ročně
| Verze | Datum | Velikost | Soubory |
|---|---|---|---|
| 4.35.0Nejnovější | 12. října 2026 | — | 64bit ZIP |
| 4.34.1 | 24. září 2026 | — | 64bit ZIP |
| 4.34.0 | 14. září 2026 | — | 64bit ZIP |
| 4.33.1 | 21. srpna 2026 | — | 64bit ZIP |
| 4.33.0 | 10. srpna 2026 | — | 64bit ZIP |
| 4.32.2 | 28. července 2026 | — | 64bit ZIP |
| 4.32.1 | 22. července 2026 | — | 64bit ZIP |
| 4.32.0 | 13. července 2026 | — | 64bit ZIP |
Instalace z příkazového řádku
Tichá instalace ›winget install --id Lean.Lean -eProgramové soubory (.exe): lean.exe, leanc.exe
Související návod: Jak používat winget: instalace a aktualizace programů
Informace
- Výrobce
- Lean FRO
- Kategorie
- IDE a editory kódu
- Licence
- Apache-2.0
- Cena
- Zdarma
- Zdrojový kód
- github.com/leanprover/lean4
- Programovací jazyk
- Lean
- Požadavky
- Windows 11 / 10
- Architektura
- 64bit
- Instalátor
- Přenosná verze
- Verze
- 4.35.0
- Datum vydání
- 12. října 2026
- Přidáno do katalogu
- 6. května 2025
- Verzí v katalogu
- 24
- Aktualizací za rok
- 16,6
- Hvězdy na GitHubu
- 9 626
- Forky na GitHubu
- 1 059
- Web
- lean-lang.org
- ID winget
- Lean.Lean
Hodnocení a recenze
Zatím žádné recenze. Hodnocení můžete přidat jako první.
Alternativy k programu Lean
Zobrazit vše ›-
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 zdarma?
Ano. Lean je program s otevřeným zdrojovým kódem (licence Apache-2.0); stažení i používání je zdarma.
Je stažení programu Lean bezpečné?
Soubor se stahuje z github.com – tato doména patří výrobci; ExeAtlas soubor neukládá ani nemění. Porovnejte SHA256 staženého souboru s hodnotou na této stránce nebo otevřete zprávu VirusTotal pro tento hash.
Jak nainstalovat Lean přes winget?
Otevřete PowerShell nebo Windows Terminal a spusťte příkaz winget z této stránky. winget stáhne oficiální instalátor a před spuštěním ověří jeho hash SHA256.
Funguje Lean na ARM (Windows on Arm)?
Sestavení ARM64 neexistuje; Windows 11 on Arm může verzi 64bit spustit pomocí emulace.
Kde stáhnout starší verze programu Lean?
Stránka verzí obsahuje odkazy na oficiální instalátory všech verzí (24) od 1. května 2025.
Lze program Lean používat bez oprávnění správce?
Ano, jde o přenosnou verzi: stačí ji rozbalit a spustit.
Jaké jsou alternativy k programu Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans a Haxe. Srovnání najdete na stránce alternativ.
