Enhance ProofModel by group expansion functionality.#431

Open

axif0 wants to merge 21 commits intozxcalc:masterfrom

Commits on Feb 14, 2026

Enhance ProofModel by group expansion functionality.
axif0
committed

Commits on Feb 16, 2026

Fix mypy type errors and enhance type hints in proof and rewrite modules.
axif0
committed

Commits on Feb 17, 2026

feat: Allow selection of individual sub-steps within grouped proof steps, displaying their graphs and highlighting them in the UI.
axif0
committed
Merge branch 'master' of https://github.com/axif0/zxlive into copy
axif0
committed

Commits on Feb 18, 2026

Implement sub-step renaming with an inline editor
axif0
committed

Commits on Feb 23, 2026

Refactor imports and clean up whitespace in proof, rewrite_action, rewrite_data, and unfusion_rewrite modules
axif0
committed

Commits on Feb 27, 2026

feat: Implement rewriting from within a grouped sub-step, including truncation and ungrouping, with corresponding undo functionality.
axif0
committed

Commits on Feb 28, 2026

extract click and hover target detection logic into dedicated helper methods for improved readability.
axif0
committed

Commits on Mar 1, 2026

Commits on Mar 5, 2026