search

seachel / treehehe

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

Draw inference line #19

Closed seachel closed 6 years ago

seachel commented 6 years ago

Parent issue

The inference line should be centred vertically between parent and children, extending the maximum of the parent width and the children width.