chyp
chyp copied to clipboard
An interactive theorem prover for string diagrams
Results
1
chyp issues
Sort by
recently updated
recently updated
newest added
This is library is doing a lot of great stuff but it doesn't seem to have its own documentation published online, the readme is quite long and intimidating. Let me...