search

seachel / treehehe

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

When the selected tree is changed, update the tree display #61

Closed seachel closed 5 years ago