search

zxcalc / zxlive

A graphical tool for the ZX calculus
Apache License 2.0
45 stars 15 forks source link

Ability to group rewrites in the proof list together #289

Closed RazinShaikh closed 4 days ago

RazinShaikh commented 4 days ago

Resolves #188