warrenalphonso / qc-latex

Quantum computing and linear algebra notes

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

add QED square to lproofs

warrenalphonso opened this issue · comments

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