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
A kiadó leírása (angol)
Mi a Lean?
A Lean programot a Lean FRO adja ki. Nyílt forráskódú szoftver Windowsra, az „IDE-k és kódszerkesztők” kategóriában. Programozási nyelv: Lean.
Telepítés és rendszerigény
A kiadó Hordozható telepítőt kínál 64 bites Windowsra. Telepítés nélkül is futtatható (hordozható változat).
Frissítések és verzióelőzmények
A legújabb verzió: 4.35.0 (megjelenés: 2026. október 12.). A verzióelőzmények kezdete: 2025. május 1. Összesen 24 kiadás, mind a hivatalos fájlokra hivatkozik. Ez évente nagyjából 17 kiadást jelent. A legutóbbi frissítés egy hónapnál frissebb.
Népszerűség és fájltípusok
A GitHubon található forráskód (leanprover/lean4) 9626 csillagot kapott. Hasonló programok: OpenCode, RStudio és Node.js (LTS).
A projekt leírása a GitHubon: “Lean 4 programming language and theorem prover”
Előnyök / Hátrányok
Előnyök
- Nyílt forráskód: bárki átnézheti és lefordíthatja
- Hordozható: telepítés nélkül fut
- Gyakori frissítések (évente kb. 17)
- Széles felhasználói kör
Hátrányok
- Nincs natív ARM64-változat
Összegzés: Lean: nyílt forráskódú program az „IDE-k és kódszerkesztők” kategóriából, 64 bites gépekre. Aktívan karbantartott.
Biztonságos a Lean letöltése?
- A fájlt a github.com szolgálja ki, amely a kiadó saját domainje
- A letöltési hivatkozás HTTPS-t használ
- SHA256 ellenőrzőösszeg elérhető, így a fájl ellenőrizhető:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· A VirusTotal-jelentés megnyitása ehhez az ellenőrzőösszeghez - A hivatkozást még nem ellenőriztük
- A forráskód nyilvános
- Az ExeAtlas nem tárol, nem csomagol be és nem módosít telepítőket
Kapcsolódó útmutató: Fájl SHA256 kivonatának ellenőrzése Windowson
Biztonsági gyakorlatok (OpenSSF Scorecard)
Az Open Source Security Foundation automatikus ellenőrzései a leanprover/lean4 GitHub-tárolón; utolsó futtatás: 2026. október 19..
- Aktív karbantartás10
- Nincs veszélyes munkafolyamat10
- Megadott licenc10
- Nincs bináris fájl a tárolóban10
- Rögzített függőségek4
- Kódellenőrzés1
- Korlátozott tokenjogosultságok0
- OpenSSF Best Practices jelvény0
- Biztonsági szabályzat0
- Fuzzing0
- Aláírt kiadások0
- Statikus kódelemzés0
A pontszám azt méri, hogyan fejlesztik és adják ki a projektet, nem azt, hogy a program telepítése biztonságos-e. scorecard.dev
Legutóbbi verziók
Mind a 24 verzió ›24 verzió 1 év alatt · évente kb. 17
| Verzió | Dátum | Méret | Fájlok |
|---|---|---|---|
| 4.35.0Legújabb | 2026. október 12. | — | 64 bites ZIP |
| 4.34.1 | 2026. szeptember 24. | — | 64 bites ZIP |
| 4.34.0 | 2026. szeptember 14. | — | 64 bites ZIP |
| 4.33.1 | 2026. augusztus 21. | — | 64 bites ZIP |
| 4.33.0 | 2026. augusztus 10. | — | 64 bites ZIP |
| 4.32.2 | 2026. július 28. | — | 64 bites ZIP |
| 4.32.1 | 2026. július 22. | — | 64 bites ZIP |
| 4.32.0 | 2026. július 13. | — | 64 bites ZIP |
Telepítés parancssorból
Csendes telepítés ›winget install --id Lean.Lean -eProgramfájlok (.exe): lean.exe, leanc.exe
Kapcsolódó útmutató: A winget használata: programok telepítése, frissítése
Információk
- Kiadó
- Lean FRO
- Kategória
- IDE-k és kódszerkesztők
- Licenc
- Apache-2.0
- Ár
- Ingyenes
- Forráskód
- github.com/leanprover/lean4
- Programozási nyelv
- Lean
- Rendszerigény
- Windows 11 / 10
- Architektúra
- 64 bites
- Telepítő
- Hordozható
- Verzió
- 4.35.0
- Megjelenés
- 2026. október 12.
- Katalógusba került
- 2025. május 6.
- Listázott verziók
- 24
- Frissítés / év
- 16,6
- GitHub-csillagok
- 9626
- GitHub-forkok
- 1059
- Weboldal
- lean-lang.org
- winget-azonosító
- Lean.Lean
Értékelések és vélemények
Még nincs vélemény. Az első értékelés lehet az Öné.
Lean – alternatívák
Összes ›-
Nyílt forráskódú285,2 E ↓ -
Nyílt forráskódú705,1 E ↓ -
Nyílt forráskódú4,9 M ↓ -
Nyílt forráskódú88,8 E ↓ -
Nyílt forráskódú49,7 E ↓ -
Nyílt forráskódú394,5 E ↓ -
Nyílt forráskódú79,2 E ↓ -
Nyílt forráskódú94,6 E ↓
Gyakori kérdések
Ingyenes a Lean program?
Igen. A Lean program nyílt forráskódú szoftver (licenc: Apache-2.0), ingyenesen letölthető és használható.
Biztonságos a Lean letöltése?
A fájl a github.com szerveréről érkezik, amely a kiadóé; az ExeAtlas nem tárolja és nem módosítja. A letöltött fájl SHA256 ellenőrzőösszege összevethető az itt látható értékkel, és megnyitható hozzá a VirusTotal-jelentés is.
Hogyan telepíthető a Lean program wingettel?
Nyissa meg a PowerShellt vagy a Windows Terminált, és futtassa az ezen az oldalon látható winget parancsot. A winget letölti a hivatalos telepítőt, és futtatás előtt ellenőrzi az SHA256 ellenőrzőösszegét.
Fut a Lean program ARM processzoron (Windows on Arm)?
Nincs ARM64-változat; a Windows 11 on Arm emulációval futtathatja a következő változatot: 64 bites.
Honnan tölthető le a Lean régebbi verziója?
A verziók oldalán mind a 24 verzió megtalálható a hivatalos telepítőfájlokra mutató hivatkozással (a legrégebbi megjelenése: 2025. május 1.).
Használható a Lean program rendszergazdai jog nélkül?
Igen, hordozható: elég kicsomagolni és elindítani.
Milyen alternatívák vannak a Lean helyett?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans és Haxe. Az alternatívák oldala össze is hasonlítja őket.
