Proof template

Simple template for writing proofs, with formatting that leaves plenty of space for grader comments.

Creates a new project from this template — free, no card required.