🗺️

cartographer

a tool for string diagrammatic reasoning

Edit diagrams

with a point-and-click interface

Create theories

By defining generators and rewrite rules

Prove Theorems

Highlight rule matches and apply rewrites