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
Udgiverens beskrivelse (engelsk)
Hvad er Lean?
Lean fra Lean FRO er open source-software til Windows (kategori: IDE’er og kodeeditorer). Programmeringssprog: Lean.
Installation og systemkrav
Udgiveren tilbyder installationsfiler til 64-bit (Portabel). Programmet kører uden installation (portabelt).
Opdateringer og versionshistorik
Den nyeste version er 4.35.0, udgivet 12. oktober 2026. Versionshistorikken rummer 24 udgivelser og går tilbage til 1. maj 2025; alle linker til de officielle filer. Det svarer til cirka 17 udgivelser om året. Den seneste opdatering er mindre end en måned gammel.
Popularitet og filtyper
Kildekoden på GitHub (leanprover/lean4) har 9.626 stjerner. Lignende programmer er for eksempel OpenCode, RStudio og Node.js (LTS).
Projektbeskrivelse på GitHub: “Lean 4 programming language and theorem prover”
Fordele / Ulemper
Fordele
- Open source: alle kan gennemse og kompilere koden
- Portabelt: kører uden installation
- Hyppige opdateringer (cirka 17 om året)
- Stor brugerbase
Ulemper
- Ingen indbygget ARM64-version
Kort sagt: Lean er et værktøj med åben kildekode i kategorien IDE’er og kodeeditorer til pc’er med 64-bit. Det vedligeholdes aktivt.
Er det sikkert at downloade Lean?
- Filen leveres af github.com, udgiverens eget domæne
- Downloadlinket bruger HTTPS
- Der er offentliggjort en SHA256-hash, så du kan kontrollere filen:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Åbn VirusTotal-rapporten for denne hash - Linket er ikke kontrolleret endnu
- Kildekoden er offentlig
- ExeAtlas hoster, indpakker eller ændrer ikke installationsfiler
Relateret vejledning: Sådan tjekker du en fils SHA256-hash i Windows
Sikkerhedspraksis (OpenSSF Scorecard)
Automatiske kontroller af repositoriet leanprover/lean4 på GitHub, udført af Open Source Security Foundation og senest kørt den 19. oktober 2026.
- Aktivt vedligeholdt10
- Ingen farlige workflows10
- Licens angivet10
- Ingen binære filer i repositoriet10
- Fastlåste afhængigheder4
- Kodegennemgang1
- Begrænsede token-rettigheder0
- OpenSSF Best Practices-badge0
- Sikkerhedspolitik0
- Fuzzing0
- Signerede udgivelser0
- Statisk kodeanalyse0
Scoren vurderer, hvordan projektet udvikles og udgives, ikke om programmet er sikkert at installere. scorecard.dev
Nyeste versioner
Alle 24 versioner ›24 versioner på 1 år · cirka 17 om året
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.35.0Nyeste | 12. oktober 2026 | — | 64-bit ZIP |
| 4.34.1 | 24. september 2026 | — | 64-bit ZIP |
| 4.34.0 | 14. september 2026 | — | 64-bit ZIP |
| 4.33.1 | 21. august 2026 | — | 64-bit ZIP |
| 4.33.0 | 10. august 2026 | — | 64-bit ZIP |
| 4.32.2 | 28. juli 2026 | — | 64-bit ZIP |
| 4.32.1 | 22. juli 2026 | — | 64-bit ZIP |
| 4.32.0 | 13. juli 2026 | — | 64-bit ZIP |
Installér fra kommandolinjen
Lydløs installation ›winget install --id Lean.Lean -eProgramfiler (.exe): lean.exe, leanc.exe
Relateret vejledning: winget: installer og opdater programmer i Windows
Information
- Udgiver
- Lean FRO
- Kategori
- IDE’er og kodeeditorer
- Licens
- Apache-2.0
- Pris
- Gratis
- Kildekode
- github.com/leanprover/lean4
- Programmeringssprog
- Lean
- Kræver
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installationsfil
- Portabel
- Version
- 4.35.0
- Udgivet
- 12. oktober 2026
- I kataloget siden
- 6. maj 2025
- Registrerede versioner
- 24
- Opdateringer pr. år
- 16,6
- GitHub-stjerner
- 9.626
- GitHub-forks
- 1.059
- Websted
- lean-lang.org
- winget-id
- Lean.Lean
Bedømmelser og anmeldelser
Ingen anmeldelser endnu. Vær den første til at bedømme programmet.
Alternativer til Lean
Se alle ›-
Open source285,2 t ↓ -
Open source705,1 t ↓ -
Open source4,9 mio. ↓ -
Open source88,8 t ↓ -
Open source49,7 t ↓ -
Open source394,5 t ↓ -
Open source79,2 t ↓ -
Open source94,6 t ↓
Ofte stillede spørgsmål
Er Lean gratis?
Ja. Lean er open source-software under licensen Apache-2.0.
Er det sikkert at downloade Lean?
Filen kommer fra github.com, som tilhører udgiveren; ExeAtlas hoster eller ændrer den ikke. Sammenlign filens SHA256-hash med den, der vises her, eller åbn VirusTotal-rapporten for hashen.
Hvordan installerer jeg Lean med winget?
Åbn PowerShell eller Windows Terminal, og kør winget-kommandoen, der vises på denne side. winget downloader den officielle installationsfil og kontrollerer SHA256-hashen, før den køres.
Kører Lean på ARM (Windows on Arm)?
Der findes ingen ARM64-version; Windows 11 on Arm kan køre versionen til 64-bit via emulering.
Hvor kan jeg downloade en ældre version af Lean?
Versionssiden viser alle 24 versioner siden 1. maj 2025 med links til de officielle installationsfiler.
Kan jeg bruge Lean uden administratorrettigheder?
Ja, programmet er portabelt: pak det ud, og start det.
Hvilke alternativer findes der til Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans og Haxe. Siden med alternativer sammenligner dem.
