issues
search
metamath
/
metamath-knife
Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
Apache License 2.0
25
stars
10
forks
source link
Clean up `util`
#42
Closed
digama0
closed
2 years ago
digama0
commented
2 years ago
Remove
new_map
,
new_set
,
ptr_eq
Make
util
private
Remove
copy_token
new_map
,new_set
,ptr_eq
util
privatecopy_token