search

zxcalc / quantomatic

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

Choose the default direction of new lemmas #170

Closed rossduncan closed 6 years ago

rossduncan commented 6 years ago

When a new theorem is saved the user should have the option of having it in the forward or backward direction by default.

(VERY often the backward direction is the one you want -- it's a pain to have to reverse all those rules, and also makes the names stupid.)

hmillerbakewell commented 6 years ago

Saving a derivation now puts you straight to a rule page showing the rule, and there is now a "Rule" menu that includes inverting the rule you are looking at.