maxwells-daemons/lean

Lean Theorem Prover

No README found.

C++75.3%Lean22.6%CMake1.0%Shell0.4%Python0.3%TeX0.2%C0.1%Perl0.1%HTML0.0%Batchfile0.0%Roff0.0%

Apache License 2.0

Created February 8, 2022

Updated January 31, 2022