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 update #145

Closed tirix closed 8 months ago

tirix commented 8 months ago

This fixes the issue in CI found after #144 was merged, because of the new clippy version 1.73.0.