Quantomatic/quantomatic Issues
Matcher incredibly slow?
Updated 13Cannot delete proof steps
Closed 3Allow complicated edge data
UpdatedRewriting Fails
Closed 4Freehand draw nodes
Closed 1Unwanted key capture
ClosedSimproc API docs are 404
Closed 3project default rewrites
Updated 3Add gates / hyperedges
Updated 1Can't rewrite under !-box
Updated 1no-effect rewrite : directing edges
Updated 1Approximate rewriting
UpdatedMore Command Line options
Updated