Skip to content

Highlight graph changes per rewrite step in proof view #190#448

Open
dorakingx wants to merge 35 commits into
zxcalc:masterfrom
dorakingx:feature/issue-190-highlight-rewrites
Open

Highlight graph changes per rewrite step in proof view #190#448
dorakingx wants to merge 35 commits into
zxcalc:masterfrom
dorakingx:feature/issue-190-highlight-rewrites

Restore complexipy ignore for session restore

2be102a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.