Lean
Lean FRO
System & Utilities
0.0
|
195,068 Downloads
|
—
What's New
Version 4.28.0
No changelog available yet.
Description
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types. It is a free and open-source software project hosted on GitHub. Development is currently supported by the nonprofit Lean Focused Research Organization (FRO).
Download
winget install Lean.Lean
