Homework 2

Due: Monday, 9/12

Read and complete Logic.v. Read IndProp.v.

• Following the instructions in the file, complete ALL the exercises (including those marked "optional" and "advanced") in Logic.v.

To check that you've successfully completed a proof, change the Admitted directly after FILL IN HERE to Qed and process the buffer through the Qed.

Once you're done, submit through Blackboard the file listed above before the beginning of class on Monday, 9/12.