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

Add a test of the official set.mm to the CI #26

Closed tirix closed 2 years ago

tirix commented 2 years ago

And return 1 on any warning or error so that the CI fails.