EECS 755

Software Requirements Modeling and Analysis


Project 2

More natstack proofs! One more round of practice proofs over stacks to continue learning about induction. For this assinment, complete List Exercises parts 1 and 2 from the Lists chapter from Software Foundations. Some of the proofs can be challenging, so start early and remember all your tricks.

Submit your Project 2 proofs via blackboard. It is important that you use the theorem names as defined in the text. Feel free to add and prove any lemmas you feel are useful, but keep the names of the theorems in order and the same.