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
Changes to `Outline`
#14
Closed
tirix
closed
3 years ago
tirix
commented
3 years ago
This isolates some changes made for
Outline
from #9.
This isolates some changes made for
Outline
from #9.