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
Beschrijving van de uitgever (Engels)
Wat is Lean?
Lean van Lean FRO is opensource software voor Windows (categorie: IDE’s & code-editors). Programmeertaal: Lean.
Installatie en systeemeisen
De uitgever levert installers voor 64-bits (Portable). Het programma werkt zonder installatie (portable).
Updates en versiegeschiedenis
De huidige versie is 4.35.0, uitgebracht op 12 oktober 2026. De versiegeschiedenis telt 24 releases, terug tot 1 mei 2025, allemaal gekoppeld aan de officiële bestanden. Dat komt neer op ongeveer 17 releases per jaar. De laatste update is minder dan een maand oud.
Populariteit en bestandstypen
De broncode op GitHub (leanprover/lean4) heeft 9.626 sterren. Vergelijkbare programma’s zijn onder meer OpenCode, RStudio en Node.js (LTS).
Projectbeschrijving op GitHub: “Lean 4 programming language and theorem prover”
Voordelen / Nadelen
Voordelen
- Open source: iedereen kan de code inzien en zelf compileren
- Portable: werkt zonder installatie
- Regelmatige updates (ongeveer 17 per jaar)
- Grote gebruikersgroep
Nadelen
- Geen native ARM64-versie
Kort gezegd: Lean is een opensource tool uit de categorie IDE’s & code-editors voor pc’s met 64-bits. Het wordt actief onderhouden.
Is Lean veilig om te downloaden?
- Het bestand komt van github.com, een domein van de uitgever zelf
- De downloadlink gebruikt HTTPS
- Er is een SHA256-hash gepubliceerd, dus het bestand is te controleren:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Open het VirusTotal-rapport voor deze hash - De link is nog niet gecontroleerd
- De broncode is openbaar
- ExeAtlas host, verpakt of wijzigt geen installers
Gerelateerde handleiding: SHA256-hash van een bestand controleren in Windows
Beveiligingspraktijken (OpenSSF Scorecard)
Automatische controles van de repository leanprover/lean4 op GitHub door de Open Source Security Foundation, laatst uitgevoerd op 19 oktober 2026.
- Actief onderhouden10
- Geen gevaarlijke workflows10
- Licentie vermeld10
- Geen binaire bestanden in de repository10
- Vastgezette afhankelijkheden4
- Codereview1
- Beperkte tokenrechten0
- OpenSSF Best Practices-badge0
- Beveiligingsbeleid0
- Fuzzing0
- Ondertekende releases0
- Statische codeanalyse0
De score beoordeelt hoe het project wordt ontwikkeld en uitgebracht, niet of het programma veilig te installeren is. scorecard.dev
Recente versies
Alle 24 versies ›24 versies in 1 jaar · ongeveer 17 per jaar
| Versie | Datum | Grootte | Bestanden |
|---|---|---|---|
| 4.35.0Nieuwste | 12 oktober 2026 | — | 64-bits ZIP |
| 4.34.1 | 24 september 2026 | — | 64-bits ZIP |
| 4.34.0 | 14 september 2026 | — | 64-bits ZIP |
| 4.33.1 | 21 augustus 2026 | — | 64-bits ZIP |
| 4.33.0 | 10 augustus 2026 | — | 64-bits ZIP |
| 4.32.2 | 28 juli 2026 | — | 64-bits ZIP |
| 4.32.1 | 22 juli 2026 | — | 64-bits ZIP |
| 4.32.0 | 13 juli 2026 | — | 64-bits ZIP |
Installeren via de opdrachtregel
Stille installatie ›winget install --id Lean.Lean -eProgrammabestanden (.exe): lean.exe, leanc.exe
Gerelateerde handleiding: winget gebruiken: programma’s installeren en updaten
Informatie
- Uitgever
- Lean FRO
- Categorie
- IDE’s & code-editors
- Licentie
- Apache-2.0
- Prijs
- Gratis
- Broncode
- github.com/leanprover/lean4
- Programmeertaal
- Lean
- Vereist
- Windows 11 / 10
- Architectuur
- 64-bits
- Installer
- Portable
- Versie
- 4.35.0
- Uitgebracht
- 12 oktober 2026
- Toegevoegd aan de catalogus
- 6 mei 2025
- Versies in de lijst
- 24
- Updates per jaar
- 16,6
- GitHub-sterren
- 9.626
- GitHub-forks
- 1.059
- Website
- lean-lang.org
- winget-ID
- Lean.Lean
Beoordelingen en reviews
Nog geen reviews. Geef als eerste een beoordeling.
Alternatieven voor Lean
Alles bekijken ›-
Open source285,2K ↓ -
Open source705,1K ↓ -
Open source4,9 mln. ↓ -
Open source88,8K ↓ -
Open source49,7K ↓ -
Open source394,5K ↓ -
Open source79,2K ↓ -
Open source94,6K ↓
Veelgestelde vragen
Is Lean gratis?
Ja. Lean is opensourcesoftware onder de licentie Apache-2.0.
Is Lean veilig om te downloaden?
Het bestand komt van github.com, een domein van de uitgever zelf; ExeAtlas host of wijzigt het niet. Vergelijk de SHA256-hash van het gedownloade bestand met de hash op deze pagina, of open het VirusTotal-rapport voor die hash.
Hoe wordt Lean met winget geïnstalleerd?
Open PowerShell of Windows Terminal en voer het winget-commando van deze pagina uit. winget downloadt de officiële installer en controleert de SHA256-hash voordat die wordt gestart.
Werkt Lean op ARM (Windows on Arm)?
Er is geen ARM64-versie; Windows 11 on Arm kan de versie voor 64-bits via emulatie draaien.
Waar is een oudere versie van Lean te downloaden?
De versiepagina toont alle 24 versies sinds 1 mei 2025, met links naar de officiële installatiebestanden.
Werkt Lean zonder beheerdersrechten?
Ja, het programma is portable: uitpakken en starten.
Wat zijn alternatieven voor Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans en Haxe. De pagina met alternatieven vergelijkt ze.
