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

trim spaces before/after math mode and labels #132

Closed digama0 closed 9 months ago

digama0 commented 9 months ago

For consistency with metamath-exe.