search

seachel / treehehe

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

Change left and right content to side conditions and rule name, resp. #23

Closed seachel closed 6 years ago

seachel commented 6 years ago

Change or wrap the current function for making nodes to have the following: