Chyp: An interactive theorem prover for string diagramsgithub.com/akissinger2 pointsg0xA52A2A3 years ago