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
Beschreibung des Herstellers (Englisch)
Was ist Lean?
Lean von Lean FRO ist quelloffene Software für Windows (Kategorie: IDEs & Code-Editoren). Programmiersprache: Lean.
Installation und Systemvoraussetzungen
Der Hersteller bietet Setups für 64-Bit an (Portabel). Das Programm läuft ohne Installation (portabel).
Updates und Versionsverlauf
Aktuell ist Version 4.35.0, veröffentlicht am 12. Oktober 2026. Erfasst sind 24 Releases, das älteste vom 1. Mai 2025; alle verweisen auf die offiziellen Dateien. Das entspricht etwa 17 Releases pro Jahr. Das letzte Update ist weniger als einen Monat alt.
Verbreitung und Dateitypen
Der Quellcode auf GitHub (leanprover/lean4) hat 9.626 Sterne. Vergleichbare Programme sind etwa OpenCode, RStudio und Node.js (LTS).
Projektbeschreibung auf GitHub: “Lean 4 programming language and theorem prover”
Vorteile / Nachteile
Vorteile
- Open Source: Der Quellcode ist einsehbar und lässt sich selbst kompilieren
- Portabel: läuft ohne Installation
- Häufige Updates (etwa 17 pro Jahr)
- Große Nutzerbasis
Nachteile
- Keine native ARM64-Version
Kurz gesagt: Lean ist ein quelloffenes Tool aus der Kategorie „IDEs & Code-Editoren“ für PCs mit 64-Bit. Es wird aktiv gepflegt.
Ist der Download von Lean sicher?
- Die Datei kommt von github.com, einer Domain des Herstellers
- Der Download-Link verwendet HTTPS
- Ein SHA256-Hash ist veröffentlicht, die Datei lässt sich also prüfen:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· VirusTotal-Bericht zu diesem Hash öffnen - Der Link wurde noch nicht geprüft
- Der Quellcode ist öffentlich
- ExeAtlas hostet, verpackt oder verändert keine Installer
Passende Anleitung: SHA256-Hash einer Datei unter Windows prüfen
Sicherheitspraktiken (OpenSSF Scorecard)
Automatische Prüfungen des Repositorys leanprover/lean4 auf GitHub durch die Open Source Security Foundation, zuletzt am 19. Oktober 2026.
- Aktiv gepflegt10
- Keine gefährlichen Workflows10
- Lizenz angegeben10
- Keine Binärdateien im Repository10
- Fixierte Abhängigkeiten4
- Code-Review1
- Eingeschränkte Token-Rechte0
- OpenSSF-Best-Practices-Badge0
- Sicherheitsrichtlinie0
- Fuzzing0
- Signierte Releases0
- Statische Codeanalyse0
Der Wert bewertet, wie das Projekt entwickelt und veröffentlicht wird, nicht, ob die Installation des Programms sicher ist. scorecard.dev
Neueste Versionen
Alle 24 Versionen ›24 Versionen in 1 Jahr · etwa 17 pro Jahr
| Version | Datum | Größe | Dateien |
|---|---|---|---|
| 4.35.0Aktuell | 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 |
Installation per Kommandozeile
Silent Install ›winget install --id Lean.Lean -eProgrammdateien (.exe): lean.exe, leanc.exe
Passende Anleitung: winget-Anleitung: Programme installieren und updaten
Informationen
- Hersteller
- Lean FRO
- Kategorie
- IDEs & Code-Editoren
- Lizenz
- Apache-2.0
- Preis
- Kostenlos
- Quellcode
- github.com/leanprover/lean4
- Programmiersprache
- Lean
- Voraussetzung
- Windows 11 / 10
- Architektur
- 64-Bit
- Installer
- Portabel
- Version
- 4.35.0
- Veröffentlicht
- 12. Oktober 2026
- Im Katalog seit
- 6. Mai 2025
- Erfasste Versionen
- 24
- Updates pro Jahr
- 16,6
- GitHub-Sterne
- 9.626
- GitHub-Forks
- 1.059
- Website
- lean-lang.org
- winget-ID
- Lean.Lean
Bewertungen und Rezensionen
Noch keine Rezensionen. Geben Sie die erste Bewertung ab.
Alternativen zu Lean
Alle anzeigen ›-
Open Source285.188 ↓ -
Open Source705.076 ↓ -
Open Source4,9 Mio. ↓ -
Open Source88.824 ↓ -
Open Source49.712 ↓ -
Open Source394.488 ↓ -
Open Source79.176 ↓ -
Open Source94.599 ↓
Häufige Fragen
Ist Lean kostenlos?
Ja. Lean ist Open-Source-Software unter der Lizenz Apache-2.0.
Ist der Download von Lean sicher?
Die Datei kommt von github.com, einer Domain des Herstellers; ExeAtlas hostet oder verändert sie nicht. Vergleichen Sie den SHA256-Hash der heruntergeladenen Datei mit dem hier angezeigten oder öffnen Sie den VirusTotal-Bericht zu diesem Hash.
Wie installiere ich Lean mit winget?
Öffnen Sie PowerShell oder Windows Terminal und führen Sie den winget-Befehl auf dieser Seite aus. winget lädt das offizielle Setup herunter und prüft vor dem Start den SHA256-Hash.
Läuft Lean auf ARM (Windows on Arm)?
Eine ARM64-Version gibt es nicht; Windows 11 on Arm kann die Version für 64-Bit per Emulation ausführen.
Wo kann ich eine ältere Version von Lean herunterladen?
Die Versionsseite listet alle 24 Versionen seit 1. Mai 2025 mit Links zu den offiziellen Installationsdateien.
Kann ich Lean ohne Administratorrechte nutzen?
Ja, das Programm ist portabel: entpacken und starten.
Welche Alternativen zu Lean gibt es?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans und Haxe. Die Seite mit den Alternativen vergleicht sie.
