-
Notifications
You must be signed in to change notification settings - Fork 38
Pull requests: zxcalc/zxlive
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
generalise
get_embedded_app for use outside Jupyter
#488
opened Apr 8, 2026 by
dlyongemallo
Contributor
•
Draft
Fix graph-like rewrites for multigraphs by switching auto-simplify
#483
opened Mar 31, 2026 by
RazinShaikh
Collaborator
Loading…
fix
PhaseItem.refresh() to clear stale phase labels on boundary vertices
#479
opened Mar 29, 2026 by
dlyongemallo
Contributor
•
Draft
fix TikZ proof export layout: use relative coordinates and align equal signs
#477
opened Mar 25, 2026 by
dlyongemallo
Contributor
•
Draft
Highlight graph changes per rewrite step in proof view #190
#448
opened Feb 26, 2026 by
dorakingx
Loading…
Add thumbnail preview functionality to proof panel and model
#434
opened Feb 16, 2026 by
axif0
Contributor
Loading…
Enhance ProofModel by group expansion functionality.
#431
opened Feb 15, 2026 by
axif0
Contributor
Loading…
ProTip!
Follow long discussions with comments:>50.