chyp
chyp copied to clipboard
Published
1 year ago
•
akissinger
akissinger
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...
Metadata
123
Stars
5
Forks
123
Watchers
Owner
Metadata
An interactive theorem prover for string diagrams