Homework 7 Template

The problems on HW 7 all lined up and ready for proofs!

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