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
Fix 'missing contributor' error message
#126
Closed
digama0
closed
1 year ago
digama0
commented
1 year ago
fixes #125
fixes #125