Lean
#36 en AutresUnknown · depuis 2023-09-08 (Lean 4.0.0, erste stabile Version) · 2× · vu le 13 oct. 2026
20
Momentum
Lean is a proof assistant and functional programming language that makes proofs machine-checkable. Development is carried out by the nonprofit Lean Focused Research Organization (FRO) and an open-source community on GitHub. Lean 4 is the current major version; the first stable release, 4.0.0, appeared on September 8, 2023.
Historique du momentum
20.07.18.10.
Fonctionnalités
| License | Apache 2.0 |
| Platform | Linux, macOS, Windows (x86-64, AArch64) |
| Price | Free, open source (Apache 2.0) |
| Release Date | 4.0.0 on September 8, 2023 (first stable Lean 4 release) |