by Damien Pous
Enter your terms and equations. Below you get to see the corresponding diagrams. You may move elements using the mouse, rewrite by circling sub-diagrams and press '1', or zoom using control-scroll. Other commands are available, press 'h' for a list (make sure you are not in the text area to enter such commands).
You may validate your rewriting steps in Rocq using the associated library about (monoidal) category theories.
Click on the examples below to load them above.
The source code for this applet (as well as a standalone GTK program) is available on Github.