Option for forward or backward proof traversal

seachel / treehehe

An interactive visualization of proof tree representations of mathematical proofs using D3 and MathJax.

0 stars 0 forks source link

Option for forward or backward proof traversal #57

Open seachel opened 5 years ago

seachel commented 5 years ago

An icon will be necessary to show our traversal direction. This will change what is displayed in the selection information panel, because it will change where we look next.