At the top of your Maps.v, make sure to add a README that states whether you received any help from classmates and if so, from whom and on what. In the README write how many exercises you completed (e.g., "I completed all required exercises and about half of the EC ones").
EC: You may additionally complete *all* the exercises in the files listed above for a small amount of extra credit! — if you do these exercises, put something like "I completed the EC" somewhere in your README.
Once you're done, submit through Blackboard the two files listed above before the beginning of class on the due date.