Imperial-Computing-Notes icon indicating copy to clipboard operation
Imperial-Computing-Notes copied to clipboard
verified publisher icon OliverKillane

Convert to BussProofs

Open OliverKillane opened this issue 2 years ago • 0 comments

Description

The proof tree notation is done using \cfracs in a maths environment, this is not ideal as:

  • side tags are part of the width of the \cfrac
  • no proper centering control

I recently did a CW with bussproofs and like this style. In the long term, should probably move to using this.

OliverKillane avatar Nov 11 '23 23:11 OliverKillane