PrototypeCommon
geohot/twitchcoq
It's a poorly named metamath verifier
- Owner
- geohot (personal account)
- Stars
- Stars: 111
- Forks
- Forks: 19
- Language
- Prolog
- License
- None
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by geohot
All 18 repos by geohot- geohot/fromthetransistorStars: 6,816Stable
- geohot/qiraStars: 4,069CRC
- geohot/minikeyvalueStars: 3,159GoRC
- geohot/coronaStars: 2,508PythonRC
- geohot/ai-notebooksStars: 1,430Jupyter NotebookBeta
- geohot/twitchslamStars: 1,003PythonBeta
Nearby in Prolog
All Prolog repos- Anniepoo/swiplwebtutStars: 117PrologPrototype
- vangelisv/theaStars: 114PrologPrototype
- evoldoers/biomakeStars: 113PrologPrototype
- carloop/hardwareStars: 110PrologPrototype
- aartikis/RTECStars: 109PrologPrototype
- sciguy14/Eagle-Tutorial-SeriesStars: 108PrologPrototype