seachel / treehehe

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

Clarify terms #51

Open seachel opened 5 years ago

seachel commented 5 years ago
seachel commented 5 years ago

Maybe this should be part of the readme or other documentation?