Examples of work in Coq, assignments for engineering logic class.