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

Include syntactic axioms in --parse-formula #153

Closed tirix closed 10 months ago

tirix commented 10 months ago

Fixes #147.