issues
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
support non-compressed proofs in axiom_use.rs
#161
Open
digama0
opened
2 weeks ago
digama0
commented
2 weeks ago
fixes #160
fixes #160