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

Updating the dependencies #110

Closed josojo closed 1 year ago

josojo commented 1 year ago

Trivial PR: This is just the output of running cargo update.