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
Run "cargo fix" to fix a few simple style issues
#6
Closed
david-a-wheeler
closed
3 years ago
david-a-wheeler
commented
3 years ago
Signed-off-by: David A. Wheeler
dwheeler@dwheeler.com
Signed-off-by: David A. Wheeler dwheeler@dwheeler.com