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

Move tableau SVG @input to top of component (#79 review comment)

35c84db
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar