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
Beskrywing deur die uitgewer (Engels)
Wat is Lean?
Lean van Lean FRO is Windows-sagteware met oop bronkode (kategorie: IDE’s en koderedigeerders). Programmeertaal: Lean.
Installasie en vereistes
Die uitgewer verskaf installeerders vir 64-bis Windows (Draagbaar). Dit werk sonder installasie (draagbaar).
Bywerkings en weergawegeskiedenis
Die nuutste weergawe is 4.35.0, vrygestel op 12 Oktober 2026. Die weergawegeskiedenis strek terug tot 01 Mei 2025: 24 vrystellings, almal gekoppel aan die amptelike lêers. Dit kom neer op sowat 17 vrystellings per jaar. Die laaste bywerking is minder as ’n maand oud.
Gewildheid en lêertipes
Die bronkode op GitHub (leanprover/lean4) het 9 626 sterre. Soortgelyke programme sluit OpenCode, RStudio en Node.js (LTS) in.
Projekbeskrywing op GitHub: “Lean 4 programming language and theorem prover”
Voordele / Nadele
Voordele
- Oopbron: enigeen kan die kode nagaan en self bou
- Draagbaar: werk sonder installasie
- Gereelde bywerkings (sowat 17 per jaar)
- Groot gebruikersbasis
Nadele
- Geen inheemse ARM64-weergawe nie
Kortliks: Lean is ’n oopbronprogram in die kategorie IDE’s en koderedigeerders vir 64-bis rekenaars. Dit word aktief onderhou.
Is dit veilig om Lean af te laai?
- Die lêer word bedien deur github.com, die uitgewer se eie domein
- Die aflaaiskakel gebruik HTTPS
- ’n SHA256-hashwaarde is gepubliseer, sodat die lêer nagegaan kan word:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Maak die VirusTotal-verslag vir hierdie hashwaarde oop - Die skakel is nog nie nagegaan nie
- Die bronkode is openbaar
- ExeAtlas huisves, omvou of verander geen installeerders nie
Verwante gids: Hoe om ’n lêer se SHA256-hashwaarde op Windows na te gaan
Sekuriteitspraktyke (OpenSSF Scorecard)
Outomatiese toetse van die leanprover/lean4-bewaarplek op GitHub deur die Open Source Security Foundation, laas uitgevoer op 19 Oktober 2026.
- Aktief onderhou10
- Geen gevaarlike werkvloeie10
- Lisensie verklaar10
- Geen binêre lêers in die bewaarplek10
- Vasgepende afhanklikhede4
- Kodehersiening1
- Beperkte tokenregte0
- OpenSSF Best Practices-kenteken0
- Sekuriteitsbeleid0
- Fuzzing0
- Ondertekende vrystellings0
- Statiese kode-ontleding0
Die telling beoordeel hoe die projek ontwikkel en vrygestel word, nie of die program veilig is om te installeer nie. scorecard.dev
Onlangse weergawes
Al 24 weergawes ›24 weergawes oor 1 jaar · sowat 17 per jaar
| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 4.35.0Nuutste | 12 Oktober 2026 | — | 64-bis ZIP |
| 4.34.1 | 24 September 2026 | — | 64-bis ZIP |
| 4.34.0 | 14 September 2026 | — | 64-bis ZIP |
| 4.33.1 | 21 Augustus 2026 | — | 64-bis ZIP |
| 4.33.0 | 10 Augustus 2026 | — | 64-bis ZIP |
| 4.32.2 | 28 Julie 2026 | — | 64-bis ZIP |
| 4.32.1 | 22 Julie 2026 | — | 64-bis ZIP |
| 4.32.0 | 13 Julie 2026 | — | 64-bis ZIP |
Installeer vanaf die opdragreël
Stil installasie ›winget install --id Lean.Lean -eProgramlêers (.exe): lean.exe, leanc.exe
Verwante gids: Hoe om winget te gebruik: programme installeer en bywerk
Inligting
- Uitgewer
- Lean FRO
- Kategorie
- IDE’s en koderedigeerders
- Lisensie
- Apache-2.0
- Prys
- Gratis
- Bronkode
- github.com/leanprover/lean4
- Geskryf in
- Lean
- Vereis
- Windows 11 / 10
- Argitektuur
- 64-bis
- Installeerder
- Draagbaar
- Weergawe
- 4.35.0
- Vrygestel
- 12 Oktober 2026
- By die katalogus gevoeg
- 06 Mei 2025
- Weergawes gelys
- 24
- Bywerkings / jaar
- 16,6
- GitHub-sterre
- 9 626
- GitHub-vurke
- 1 059
- Webwerf
- lean-lang.org
- winget-ID
- Lean.Lean
Graderings en resensies
Nog geen resensies nie. Wees die eerste om dit te gradeer.
Alternatiewe vir Lean
Sien alles ›-
Oopbron285,2 k ↓ -
Oopbron705,1 k ↓ -
Oopbron4,9 m ↓ -
Oopbron88,8 k ↓ -
Oopbron49,7 k ↓ -
Oopbron394,5 k ↓ -
Oopbron79,2 k ↓ -
Oopbron94,6 k ↓
Algemene vrae
Is Lean gratis?
Ja. Lean is oopbronsagteware onder die Apache-2.0-lisensie.
Is dit veilig om Lean af te laai?
Die aflaai kom van github.com, wat aan die uitgewer behoort; ExeAtlas huisves of verander nie die lêer nie. Vergelyk die SHA256-hashwaarde daarvan met die een wat hier gewys word, of maak die VirusTotal-verslag vir daardie hashwaarde oop.
Hoe installeer ek Lean met winget?
Maak PowerShell of Windows Terminal oop en voer die winget-opdrag op hierdie bladsy uit. winget laai die amptelike installeerder af en gaan die SHA256-hashwaarde na voordat dit uitgevoer word.
Werk Lean op ARM (Windows on Arm)?
Daar is geen ARM64-weergawe nie; Windows 11 on Arm kan die 64-bis-weergawe via emulasie laat loop.
Waar kan ek ’n ouer weergawe van Lean aflaai?
Die weergawebladsy lys al 24 weergawes met skakels na hul amptelike installeerlêers, terug tot 01 Mei 2025.
Kan Lean sonder administrateurregte gebruik word?
Ja, dit is draagbaar: pak dit uit en laat dit loop.
Wat is alternatiewe vir Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans en Haxe. Die bladsy met alternatiewe vergelyk hulle.
