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

Handle diagnostics for verify parse statements #40

Open tirix opened 2 years ago

tirix commented 2 years ago

Diagnostics for verify parse statements are currently generated but dropped. They shall be stored for display with the other diagnostics annotations.