Bump to Rust edition 2018, library mode

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

26 stars 11 forks source link

Closed tirix closed 3 years ago

tirix commented 3 years ago

This PR contains only the changes required to use Rust edition 2018, and provide a library. The deprecated Error::description is also removed.