[Cut] Dedicated color for cut formulas

ComputerAidedLL / click-and-collect

A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml

GNU Lesser General Public License v2.1

17 stars 2 forks source link

[Cut] Dedicated color for cut formulas #161

Closed olaure01 closed 3 years ago

olaure01 commented 3 years ago

Might be easier to understand if cut-formulas (and possibly the world cut in the rule name) would have a different color than the current light blue used for all buttons. Magenta? Should then all cut-related buttons share this color?

etiennecallies commented 3 years ago

You can check it out on preprod