PrototypeCommune
geohot/twitchcoq
It's a poorly named metamath verifier
- Propriétaire
- geohot (compte personnel)
- Étoiles
- Étoiles : 111
- Forks
- Forks : 19
- Langage
- Prolog
- Licence
- Aucune
- Création
- 2019
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de geohot
Les 18 dépôts de geohot- geohot/fromthetransistorÉtoiles : 6 816Stable
- geohot/qiraÉtoiles : 4 069CRC
- geohot/minikeyvalueÉtoiles : 3 159GoRC
- geohot/coronaÉtoiles : 2 508PythonRC
- geohot/ai-notebooksÉtoiles : 1 430Jupyter NotebookBêta
- geohot/twitchslamÉtoiles : 1 003PythonBêta
D’autres dépôts Prolog
Tous les dépôts Prolog- Anniepoo/swiplwebtutÉtoiles : 117PrologPrototype
- vangelisv/theaÉtoiles : 114PrologPrototype
- evoldoers/biomakeÉtoiles : 113PrologPrototype
- carloop/hardwareÉtoiles : 110PrologPrototype
- aartikis/RTECÉtoiles : 109PrologPrototype
- sciguy14/Eagle-Tutorial-SeriesÉtoiles : 108PrologPrototype