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

Split into library and binary #149

Closed tirix closed 7 months ago

tirix commented 7 months ago

Along the lines of #117, this splits the repository into 2 crates, one library crate metamath-rs and one binary crate metamath-knife. This is a naive split with as few functional changes as possible, moving files around with git mv, unchanged. Fixes #117.