D3 Trees for Proof Trees

seachel / treehehe

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

0 stars 0 forks source link

Closed seachel closed 5 years ago

seachel commented 6 years ago

Requirements:

text in the node
bottom-up structure (root bottom, leaves top)
remove curves
draw inference line
left- and right-most nodes drawn half way vertically between parents and siblings

seachel commented 5 years ago

This issue is sufficiently completed. Setting the width of the tree is an optional future update.