Giters
geohot
/
twitchcoq
It's a poorly named metamath verifier
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
106
Watchers:
15
Issues:
1
Forks:
19
geohot/twitchcoq Issues
Integrate AI Blockchain
Updated
4 years ago