Do the exercises in Hoare.v and Hoare2.v, not including the ones marked "optional".
Do the README as usual. Upload your assignment at right.
