What&#x27;s wrong with two column proofs? I think they&#x27;re a great tool for getting into the absolutely rigorous mindset required for maths. Leslie Lamport even makes the case that professional mathematicians should use them to reduce publication errors [1].<p>My personal feeling (as a maths grad student) is that the utility of two column proofs depends on the field. For logic and algorithms sure but estimating integrals it becomes tedious quickly.<p>[1] <a href="http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;lamport&#x2F;pubs&#x2F;proof.pdf" rel="nofollow">http:&#x2F;&#x2F;research.microsoft.com&#x2F;en-us&#x2F;um&#x2F;people&#x2F;lamport&#x2F;pubs&#x2F;p...</a>