/chyp

An interactive theorem prover for string diagrams

Primary LanguagePythonApache License 2.0Apache-2.0

Stargazers