warrenalphonso/qc-latex

add QED square to lproofs

warrenalphonso opened this issue · 1 comments

warrenalphonso commented
add QED square to lproofs
warrenalphonso commented

fixed - also modified proof to not use default amsmath proof env