issues
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
check global dv ordering
#164
Open
digama0
opened
3 months ago
digama0
commented
3 months ago
fixes #163
fixes #163