akissinger / chypLinks

An interactive theorem prover for string diagrams
119Updated 10 months ago

Alternatives and similar repositories for chyp

Users that are interested in chyp are comparing it to the libraries listed below

Sorting: