includes the definition of
natstack we created in class and a
collectino of sanity check tests, unproved properties about stacks,
and a couple of practice problems over numbers. A few of these proofs
require commands that we have not learned as of September 14 lecture,
but I wanted to make them available so you can experiment on your own
and get started on the assignment.
file simply replace
Admitted with a proof.
Submit your Project 1 file updated with definitions and proofs online using Blackboard.