/lean

Lean 3 Theorem Prover (community fork)

Primary LanguageC++Apache License 2.0Apache-2.0

Warning

Lean 3 is no longer actively maintained. It is strongly recommended that you use Lean 4 instead.

(If you need to read the old README.md, please see OLD_README.md.)