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.