Lean
#36 in SonstigeUnknown · seit 2023-09-08 (Lean 4.0.0, erste stabile Version) · 2× · zuletzt 13. Okt. 2026
20
Momentum
Lean ist ein Beweisassistent und eine funktionale Programmiersprache, die Beweise maschinell prüfbar macht. Entwicklung und Pflege erfolgen durch die gemeinnützige Lean Focused Research Organization (FRO) sowie eine Open-Source-Community auf GitHub. Lean 4 ist die aktuelle Hauptversion; die erste stabile Version 4.0.0 erschien am 8. September 2023.
Momentum-Verlauf
20.07.18.10.
Features
| Lizenz | Apache 2.0 |
| Plattform | Linux, macOS, Windows (x86-64, AArch64) |
| Preis | Kostenlos, Open Source (Apache 2.0) |
| Release-Datum | 4.0.0 am 08.09.2023 (erste stabile Version von Lean 4) |