Giters
akissinger
/
chyp
An interactive theorem prover for string diagrams
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
105
Watchers:
6
Issues:
2
Forks:
5
akissinger/chyp Watchers
Aleks Kissinger
akissinger
Barton Rhodes
bmorphism
Ammar Husain
Cobord
eemailme
James Cloos
jhcloos
Ms. Molly Stewart-Gallus
mstewartgallus