qdelta / theorem_proving_in_lean4 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
Home Page: https://leanprover.github.io/theorem_proving_in_lean4/
License: Apache License 2.0