issues
search
zxcalc
/
quantomatic
Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
152
stars
22
forks
source link
Graphical errors and inconsistencies when editing the theory
#188
Closed
hmillerbakewell
closed
6 years ago