dapingQ / discopy

a toolbox for computing with monoidal categories

Geek Repo

Github PK Tool