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

Parsing for the Typesetting Comment #17

Closed tirix closed 2 years ago

tirix commented 3 years ago

Add a parser for the $t typesetting comment. See section 4.4.2 of the Metamath book for reference. This could also include additional Diagnostics for missing typesetting.

tirix commented 2 years ago

This issue has been closed by #59, thanks to Mario!