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

Fix UB from precondition violations caught in rust 1.78 #159

Closed tirix closed 1 month ago

tirix commented 1 month ago

This is a workaround for the new Rust 1.78 precondition checks which made CI for #158 fail.