How to create a correctly aligned tree proof in logic with 4 branches, columns of line numbers and justifications?
Need help with making Logic Trees in qtree/tikz-qtree (i.e. aligning, numbering lines)