gentoo.mahdi.cz
dev-python
:chyp
An interactive theorem prover for string diagrams
https://github.com/akissinger/chyp
chyp-0.5.2
Apache-2.0
download
~amd64 ~x86
pypi