search

seachel / treehehe

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

Control for example selection #58

Closed seachel closed 5 years ago

seachel commented 5 years ago

This can either be from a panel on the left of the screen, or a drop-down menu.