Highlight rule for focused node

seachel / treehehe

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

0 stars 0 forks source link

Open seachel opened 5 years ago