search

metamath / metamath-knife

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

Little fixes #5

Closed david-a-wheeler closed 3 years ago

tirix commented 3 years ago

It looks like several of these changes have already been made through PR #6. Can this PR be closed?