Issues

• Deduce should make sure fCenter is set in math mode

  OpenLogicProject/bussproofs-extra#6 · Filter by author rzach opened on Apr 28, 2020

• Scale deduction dots with proofs

  OpenLogicProject/bussproofs-extra#5 · Filter by author rzach opened on Apr 30, 2019
  1

• Get rid of space around deductions

  OpenLogicProject/bussproofs-extra#2 · Filter by author rzach opened on Oct 17, 2014

• Allow shifting of deduction dots

  OpenLogicProject/bussproofs-extra#1 · Filter by author rzach opened on May 5, 2014