josojo / metamath-knife Goto Github PK
View Code? Open in Web Editor NEWThis project forked from metamath/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
License: Apache License 2.0