LE

leanprover/lean3

Lean Theorem Prover

dependent-types lean programming-language theorem-proving type-theory verification

No README found.

Languages

C++74.9%Lean22.2%C1.1%CMake1.0%Shell0.3%Python0.3%TeX0.1%Perl0.1%HTML0.0%Batchfile0.0%Lua0.0%Roff0.0%

Contributors

LE SO GE KH AV DI RO JO NU LE

Latest Release

v3.4.2January 18, 2019 + 4 more releases

Apache License 2.0

Created July 17, 2013

Updated March 8, 2026

leanprover/lean3 | GitHunt