Functions to write HTML of grid trees / rules

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.

0 stars 0 forks source link

Open seachel opened 5 years ago

seachel commented 5 years ago

This function should output the trees as in gridtree.html, filling in the content for the tree and styling to match the css rule selectors.

seachel commented 5 years ago

Mostly done, but need a solution in cases when a rule contains a nested "rule"/hypotheses to be discharged (e.g. implication introduction).