seachel / treehehe

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

Wrap tree examples in object that also has an id #62

Closed seachel closed 5 years ago

seachel commented 5 years ago

Trees need to have an id and a root node to connect the other UI elements to the tree data. The tree id will be used as the value of the select element for selecting examples.