search

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

See this pull request #7

Open david-a-wheeler opened 3 years ago

david-a-wheeler commented 3 years ago

https://github.com/sorear/smm/pull/2

tirix commented 2 years ago

The issue you refer to is about a minor typo in an API description for Stefan's original JS implementation (SMM), so by itself it does not have so much value (sorry Marnix!)

That description did not make it into this Rust version. It remains generally valid, but would need to be adapted to the Rust implementation. So, we could instead rephrase this issue to request the API description to be ported to Rust. Mario suggested that we use the Rust inline documentation for that.