leanprover-community / lean

Lean 3 Theorem Prover (community fork)

http://leanprover-community.github.io/

Geek Repo

Github PK Tool

lean3

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.)

About

Lean 3 Theorem Prover (community fork)

http://leanprover-community.github.io/

lean3

Apache License 2.0

Languages

Language:C++ 75.4%Language:Lean 22.5%Language:CMake 1.0%Language:Shell 0.4%Language:Python 0.3%Language:TeX 0.2%Language:C 0.1%Language:Perl 0.1%Language:HTML 0.0%Language:Batchfile 0.0%Language:Roff 0.0%