COS 510: Programming Languages
Homework 3
Fill in the proofs in
Logic.v,
IndProp.v,
and ProofObjects.v,
at each place marked "Exercise".
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.