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 9 forks source link

Clippy 0.1.60 #85

Closed tirix closed 2 years ago

tirix commented 2 years ago

And metamath-knife version update to v1.3.6.