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 10 forks source link

Fix for diagnostic span at the start of a line #50

Closed tirix closed 2 years ago

tirix commented 2 years ago

And message for I/O errors