search

seachel / treehehe

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

Find new traversal #45

Open seachel opened 5 years ago

seachel commented 5 years ago

Figure out a tree traversal that feels nice for working through a proof.

seachel commented 5 years ago

Breadth-first?

Highlight all children?