Project 0 is
a warm up project using the Coq prover. None of the proofs or
definitions are particularly difficult, but they will get you used to
using the verifier. In the
file simply replace
Admitted with either a function definition or a
Submit your Project 0 file updated with definitions and proofs online using Blackboard.