Quantomatic/quantomatic — Issue #42: Export rewrite sequences
Author: rossduncan
Created: 2012-03-07 15:25:21+00:00
State: open

It would very useful if a rewrite sequence from quanto could be exported (perhaps as tikz compatible with Tikzit) so that proofs done in quanto can be used in publications. A bare sequence of graphs would be the minimum useful thing, but extra information that would be useful would be:
* name of the rule used at each step
* indication of where the rule matched in the LHS
* graphical representation of the rule instance used.