A two column proof shows an algebraic step being taken, and then describes the step and how it's justified to the right.
A flowchart proof links each step to the next, with a brief description below it.
A paragraph proof describes each step in a group of text, written as a paragraph.
