search

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.
0 stars 0 forks source link

Node text in main node layout space #18

Closed seachel closed 5 years ago

seachel commented 5 years ago

Parent issue

Node text is currently treated as a label and doesn't take up layout space in the node. The text is the main content of the proof tree nodes and should be appropriately centred.