Homework 6

Fill in the proofs in Imp.v, and Equiv.v, at each place marked "Exercise". As usual, we encourage you to do the optional exercises but they are not for credit.

Add a README comment at the top describing who you helped (or got help from), and what kind of help.

Upload your assignment at right.