jeroenvanrensen/metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
RustApache-2.0
Stargazers
No one’s star this repository yet.
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
RustApache-2.0
No one’s star this repository yet.