Open seachel opened 5 years ago
Compute proof height from selected example, rather than waiting to start using d3. Other proof height and tree width and height, svg width and height variables can be computed in the same location.
Compute proof height from selected example, rather than waiting to start using d3. Other proof height and tree width and height, svg width and height variables can be computed in the same location.