search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
151 stars 22 forks source link

Deleting last step of proof also deletes head -- can't continue proof. #240

Closed rossduncan closed 5 years ago

rossduncan commented 6 years ago

As the title says. Also the rewrite/simplify panel disappears.