javra / strings-tikz

Tikz String Diagrams for braided monoidal categories

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

javra/strings-tikz Stargazers