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

CI now uses set.mm from the master branch #36

Closed tirix closed 2 years ago

tirix commented 2 years ago

As discussed in #11 .