PrototypeCommune
akissinger/chyp
An interactive theorem prover for string diagrams
- Propriétaire
- akissinger (compte personnel)
- Étoiles
- Étoiles : 130
- Forks
- Forks : 5
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de akissinger
Les 2 dépôts de akissinger- akissinger/dodoÉtoiles : 134PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- hulinkang9527/mcctlÉtoiles : 130PythonPrototype
- actvero/actveroÉtoiles : 130PythonPrototype
- apple-aiml-research/ml-rsi-inference-benchÉtoiles : 130PythonPrototype
- textmate/markdown.tmbundleÉtoiles : 130PythonPrototype
- bububa/MongoHubÉtoiles : 130PythonPrototype
- ioerror/blockfinderÉtoiles : 130PythonPrototype