search

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25 stars 10 forks source link

Label comparison #46

Closed tirix closed 2 years ago

digama0 commented 2 years ago

Does it need to be rebased on master? The first four commits look like they are from a previous PR.

tirix commented 2 years ago

Yes! Rebased.