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

improve axiom detection heuristic in axiom_use.rs #162

Open digama0 opened 2 weeks ago

digama0 commented 2 weeks ago

Fixes an issue mentioned in #160: instead of using ax- to detect axioms, use non-syntax axioms which do not start with df-.