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
Utgivarens beskrivning (engelska)
Vad är Lean?
Lean från Lean FRO är programvara med öppen källkod för Windows (kategori: IDE:er och kodredigerare). Programmeringsspråk: Lean.
Installation och systemkrav
Utgivaren erbjuder installationsfiler för 64-bitars (Portabel). Programmet körs utan installation (portabelt).
Uppdateringar och versionshistorik
Den senaste versionen är 4.35.0, släppt 12 oktober 2026. Versionshistoriken omfattar 24 versioner och sträcker sig tillbaka till 1 maj 2025; alla länkar till de officiella filerna. Det motsvarar ungefär 17 versioner per år. Den senaste uppdateringen är mindre än en månad gammal.
Popularitet och filtyper
Källkoden på GitHub (leanprover/lean4) har 9 626 stjärnor. Liknande program är till exempel OpenCode, RStudio och Node.js (LTS).
Projektbeskrivning på GitHub: “Lean 4 programming language and theorem prover”
Fördelar / Nackdelar
Fördelar
- Öppen källkod: vem som helst kan granska och kompilera koden
- Portabelt: körs utan installation
- Täta uppdateringar (ungefär 17 per år)
- Stor användarbas
Nackdelar
- Ingen inbyggd ARM64-version
Kort sagt: Lean är ett verktyg med öppen källkod i kategorin IDE:er och kodredigerare för datorer med 64-bitars. Det underhålls aktivt.
Är det säkert att ladda ner Lean?
- Filen levereras av github.com, utgivarens egen domän
- Nedladdningslänken använder HTTPS
- En SHA256-hash är publicerad, så att du kan kontrollera filen:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· Öppna VirusTotal-rapporten för den här hashen - Länken har inte kontrollerats än
- Källkoden är offentlig
- ExeAtlas varken lagrar, kapslar in eller ändrar installationsfiler
Relaterad guide: Kontrollera en fils SHA256-hash i Windows
Säkerhetsrutiner (OpenSSF Scorecard)
Automatiska kontroller av förrådet leanprover/lean4 på GitHub, gjorda av Open Source Security Foundation, senast 19 oktober 2026.
- Aktivt underhållet10
- Inga farliga arbetsflöden10
- Licens angiven10
- Inga binärfiler i förrådet10
- Låsta beroenden4
- Kodgranskning1
- Begränsade tokenbehörigheter0
- OpenSSF Best Practices-märke0
- Säkerhetspolicy0
- Fuzzing0
- Signerade releaser0
- Statisk kodanalys0
Poängen bedömer hur projektet utvecklas och släpps, inte om programmet är säkert att installera. scorecard.dev
Senaste versionerna
Alla 24 versioner ›24 versioner på 1 år · ungefär 17 per år
| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 4.35.0Senaste | 12 oktober 2026 | — | 64-bitars ZIP |
| 4.34.1 | 24 september 2026 | — | 64-bitars ZIP |
| 4.34.0 | 14 september 2026 | — | 64-bitars ZIP |
| 4.33.1 | 21 augusti 2026 | — | 64-bitars ZIP |
| 4.33.0 | 10 augusti 2026 | — | 64-bitars ZIP |
| 4.32.2 | 28 juli 2026 | — | 64-bitars ZIP |
| 4.32.1 | 22 juli 2026 | — | 64-bitars ZIP |
| 4.32.0 | 13 juli 2026 | — | 64-bitars ZIP |
Installera från kommandoraden
Tyst installation ›winget install --id Lean.Lean -eProgramfiler (.exe): lean.exe, leanc.exe
Relaterad guide: Så använder du winget: installera och uppdatera
Information
- Utgivare
- Lean FRO
- Kategori
- IDE:er och kodredigerare
- Licens
- Apache-2.0
- Pris
- Gratis
- Källkod
- github.com/leanprover/lean4
- Programmeringsspråk
- Lean
- Kräver
- Windows 11 / 10
- Arkitektur
- 64-bitars
- Installationsfil
- Portabel
- Version
- 4.35.0
- Släppt
- 12 oktober 2026
- I katalogen sedan
- 6 maj 2025
- Listade versioner
- 24
- Uppdateringar per år
- 16,6
- GitHub-stjärnor
- 9 626
- GitHub-forkar
- 1 059
- Webbplats
- lean-lang.org
- winget-ID
- Lean.Lean
Betyg och recensioner
Inga recensioner än. Bli först med att betygsätta programmet.
Alternativ till Lean
Visa alla ›-
Öppen källkod285,2 tn ↓ -
Öppen källkod705,1 tn ↓ -
Öppen källkod4,9 mn ↓ -
Öppen källkod88,8 tn ↓ -
Öppen källkod49,7 tn ↓ -
Öppen källkod394,5 tn ↓ -
Öppen källkod79,2 tn ↓ -
Öppen källkod94,6 tn ↓
Vanliga frågor
Är Lean gratis?
Ja. Lean är programvara med öppen källkod under licensen Apache-2.0.
Är det säkert att ladda ner Lean?
Filen kommer från github.com, som tillhör utgivaren; ExeAtlas varken lagrar eller ändrar den. Jämför filens SHA256-hash med den som visas här, eller öppna VirusTotal-rapporten för hashen.
Hur installerar jag Lean med winget?
Öppna PowerShell eller Windows Terminal och kör winget-kommandot som visas på den här sidan. winget laddar ner den officiella installationsfilen och kontrollerar SHA256-hashen innan den körs.
Fungerar Lean på ARM (Windows on Arm)?
Det finns ingen ARM64-version; Windows 11 on Arm kan köra versionen för 64-bitars via emulering.
Var kan jag ladda ner en äldre version av Lean?
Versionssidan listar alla 24 versioner sedan 1 maj 2025 med länkar till de officiella installationsfilerna.
Kan jag använda Lean utan administratörsbehörighet?
Ja, programmet är portabelt: packa upp och starta.
Vilka alternativ finns till Lean?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans och Haxe. Sidan med alternativ jämför dem.
