At the top of IndProp.v, add a README comment that states whether you received any help from classmates and if so, from whom and on what.
In your README comment, I'd also appreciate if you 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 11:59pm on Wednesday, 9/27.