add comparison by label/atom/address

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 digama0 closed 1 year ago

digama0 commented 1 year ago

needed by mm-web-rs, and easy enough to expose.

digama0 commented 1 year ago

(this was slightly on purpose, as users may wish to switch to the other functions)