In this assignment, you'll start working with dependent elimination (induction) on lists and vectors. The Pie exercises cover Chapter 10, 11, and 12.
The Pie assignment should be completed by writing a definition for each claim, and then uncommenting the tests so that they all pass. Passing the tests is necessary, but not sufficient, for completing the exercise - you should also follow the instructions in the file.
Parts of this assignment are written by David Christiansen and used with permission.