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

support `syntax 'A' 'B' 'C';` command, style #144

Closed digama0 closed 8 months ago

digama0 commented 9 months ago

These are the code cleanup changes from #137. The only actual functionality change here is that syntax 'A' 'B'; parses as intended. The rest is just using let else more and some typos in panic messages.