Complete all exercises in StlcProp.v up to but not including the Additional Exercises.
Submit through Blackboard before 3:05pm on Monday, 11/14.
(same pic as last week)