Skip to content

Visualize the actual proofs of the current problem with the TableauSVG component#79

Merged
jgonggrijp merged 31 commits into
developfrom
feature/actual-proof-svg
Mar 25, 2026
Merged

Visualize the actual proofs of the current problem with the TableauSVG component#79
jgonggrijp merged 31 commits into
developfrom
feature/actual-proof-svg

Commits

Commits on Mar 19, 2026

Commits on Mar 23, 2026

Commits on Mar 25, 2026