Add navigation buttons for proof walkthrough

seachel / treehehe

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

0 stars 0 forks source link

Closed seachel closed 6 years ago

seachel commented 6 years ago

Two buttons, one representing forward and one backward, to be added for iterating through the proof.