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

lazy fail on parse errors #139

Closed digama0 closed 9 months ago

digama0 commented 9 months ago

This makes the errors occur at the first point where the string fails to parse, even if there are missing tokens toward the end. Also it avoids some allocations for the string in the middle.