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