Do the proofs in Compiler.v.
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.
