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
New API to return and iterate over syntax proof trees
#55
Closed
tirix
closed
2 years ago