This repository has been frozen. Lean 4 is now the official release.
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
Lean Theorem Prover
This repository has been frozen. Lean 4 is now the official release.
Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.
Lean Theorem Prover
Apache License 2.0