🗺️
cartographer
a tool for string diagrammatic reasoning
app
paper
user guide
Edit diagrams
with a point-and-click interface
Create theories
By defining generators and rewrite rules
Prove Theorems
Highlight rule matches and apply rewrites