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
Lýsing útgefanda (enska)
Hvað er Lean?
Útgefandi forritsins Lean er Lean FRO. Það er opinn hugbúnaður fyrir Windows og tilheyrir flokknum Þróunarumhverfi og kóðaritlar. Forritunarmál: Lean.
Uppsetning og kröfur
Útgefandinn býður uppsetningarforrit (Ferðaútgáfa) fyrir 64 bita útgáfur af Windows. Það keyrir án uppsetningar (ferðaútgáfa).
Uppfærslur og útgáfusaga
Nýjasta útgáfan er 4.35.0, gefin út 12. október 2026. Útgáfusagan nær aftur til 1. maí 2025: 24 útgáfur, allar tengdar opinberu skránum. Það gerir um 17 útgáfur á ári. Síðasta uppfærsla er innan við mánaðar gömul.
Vinsældir og skráargerðir
Grunnkóðinn á GitHub (leanprover/lean4) hefur fengið 9.626 stjörnur. Sambærileg forrit eru meðal annars OpenCode, RStudio og Node.js (LTS).
Lýsing verkefnisins á GitHub: “Lean 4 programming language and theorem prover”
Kostir / Gallar
Kostir
- Opinn hugbúnaður: hver sem er getur skoðað kóðann og byggt hann
- Ferðaútgáfa: keyrir án uppsetningar
- Tíðar uppfærslur (um 17 á ári)
- Stór notendahópur
Gallar
- Engin sérstök ARM64-útgáfa
Í stuttu máli: Forritið Lean er opinn hugbúnaður í flokknum Þróunarumhverfi og kóðaritlar fyrir Windows (64 bita). Því er haldið virku við.
Er óhætt að sækja forritið Lean?
- Skráin kemur frá github.com, léni útgefandans sjálfs
- Niðurhalstengillinn notar HTTPS
- SHA256-gildi er birt, svo hægt er að sannreyna skrána:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Opna skýrslu VirusTotal fyrir þetta gildi - Tengillinn hefur ekki verið prófaður enn
- Grunnkóðinn er opinn
- ExeAtlas hýsir hvorki, pakkar inn né breytir uppsetningarforritum
Tengdar leiðbeiningar: Hvernig á að athuga SHA256-gildi skráar í Windows
Öryggisvenjur (OpenSSF Scorecard)
Sjálfvirkar athuganir Open Source Security Foundation á gagnasafninu leanprover/lean4 á GitHub, síðast keyrðar 19. október 2026.
- Virkt viðhald10
- Engin hættuleg vinnuferli10
- Leyfi tilgreint10
- Engar keyrsluskrár í gagnasafninu10
- Festar kóðaháðir4
- Kóðarýni1
- Takmörkuð réttindi tóka0
- OpenSSF Best Practices-merki0
- Öryggisstefna0
- Slembiprófanir (fuzzing)0
- Undirritaðar útgáfur0
- Kyrrstæð kóðagreining0
Einkunnin metur hvernig verkefnið er þróað og gefið út, ekki hvort óhætt sé að setja forritið upp. scorecard.dev
Nýlegar útgáfur
Allar 24 útgáfurnar ›24 útgáfur á 1 ári · um 17 á ári
| Útgáfa | Dagsetning | Stærð | Skrár |
|---|---|---|---|
| 4.35.0Nýjast | 12. október 2026 | — | 64 bita ZIP |
| 4.34.1 | 24. september 2026 | — | 64 bita ZIP |
| 4.34.0 | 14. september 2026 | — | 64 bita ZIP |
| 4.33.1 | 21. ágúst 2026 | — | 64 bita ZIP |
| 4.33.0 | 10. ágúst 2026 | — | 64 bita ZIP |
| 4.32.2 | 28. júlí 2026 | — | 64 bita ZIP |
| 4.32.1 | 22. júlí 2026 | — | 64 bita ZIP |
| 4.32.0 | 13. júlí 2026 | — | 64 bita ZIP |
Uppsetning af skipanalínu
Hljóðlát uppsetning ›winget install --id Lean.Lean -eForritaskrár (.exe): lean.exe, leanc.exe
Tengdar leiðbeiningar: Hvernig á að nota winget: setja upp og uppfæra forrit
Upplýsingar
- Útgefandi
- Lean FRO
- Flokkur
- Þróunarumhverfi og kóðaritlar
- Leyfi
- Apache-2.0
- Verð
- Ókeypis
- Grunnkóði
- github.com/leanprover/lean4
- Forritunarmál
- Lean
- Kröfur
- Windows 11 / 10
- Högun
- 64 bita
- Uppsetningarforrit
- Ferðaútgáfa
- Útgáfa
- 4.35.0
- Gefið út
- 12. október 2026
- Bætt í skrána
- 6. maí 2025
- Skráðar útgáfur
- 24
- Uppfærslur / ár
- 16,6
- Stjörnur á GitHub
- 9.626
- Kvíslar á GitHub
- 1.059
- Vefsíða
- lean-lang.org
- winget-auðkenni
- Lean.Lean
Einkunnir og umsagnir
Engar umsagnir enn. Gefðu fyrstu einkunnina.
Valkostir í stað forritsins Lean
Sjá allt ›-
Opinn hugbúnaður285,2 þ. ↓ -
Opinn hugbúnaður705,1 þ. ↓ -
Opinn hugbúnaður4,9 m. ↓ -
Opinn hugbúnaður88,8 þ. ↓ -
Opinn hugbúnaður49,7 þ. ↓ -
Opinn hugbúnaður394,5 þ. ↓ -
Opinn hugbúnaður79,2 þ. ↓ -
Opinn hugbúnaður94,6 þ. ↓
Algengar spurningar
Er Lean ókeypis?
Já. Forritið Lean er opinn hugbúnaður með leyfinu Apache-2.0.
Er óhætt að sækja forritið Lean?
Niðurhalið kemur frá github.com, sem er í eigu útgefandans; ExeAtlas hýsir hvorki né breytir skránni. Berið SHA256-gildi hennar saman við gildið sem hér er sýnt, eða opnið skýrslu VirusTotal fyrir það gildi.
Hvernig er Lean sett upp með winget?
Opnið PowerShell eða Windows Terminal og keyrið winget-skipunina á þessari síðu. winget sækir opinbera uppsetningarforritið og athugar SHA256-gildi þess áður en það er keyrt.
Keyrir Lean á ARM (Windows on Arm)?
Engin ARM64-útgáfa er til; Windows 11 on Arm getur keyrt 64 bita útgáfuna með hermun.
Hvar er hægt að sækja eldri útgáfu af forritinu Lean?
Útgáfusíðan sýnir allar 24 útgáfurnar með tenglum á opinberar uppsetningarskrár þeirra, aftur til 1. maí 2025.
Er hægt að nota Lean án stjórnandaréttinda?
Já, það er ferðaútgáfa: afþjappið og keyrið.
Hvaða forrit koma í stað forritsins Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans og Haxe. Síðan um valkosti ber þau saman.
