PrototypeCommon
akissinger/chyp
An interactive theorem prover for string diagrams
- Owner
- akissinger (personal account)
- Stars
- Stars: 130
- Forks
- Forks: 5
- Language
- Python
- License
- Apache-2.0
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by akissinger
All 2 repos by akissinger- akissinger/dodoStars: 134PythonPrototype
Nearby in Python
All Python repos- ABC12345anouys/EvoBotStars: 130PythonPrototype
- hulinkang9527/mcctlStars: 130PythonPrototype
- Esmerubphire/astrbot_plugin_feiyu_voiceStars: 130PythonPrototype
- textmate/markdown.tmbundleStars: 130PythonPrototype
- bububa/MongoHubStars: 130PythonPrototype
- ioerror/blockfinderStars: 130PythonPrototype