Midterm Exam

Midterm

Date: October 17 in class

Topics:

• Specification
  • Inductive types
  • Non-recursive definitions
  • Fixpoint definitions
  • Theorems and Lemmas
  • Type variables and Polymorphism
• Proof tactics
  • intros
  • induction and destruct
  • rewrite and apply
  • unfold
  • simpl and reflexivity
• Inductive specifications
  • Defining constructors
  • Defining properties over constructors
  • Using induction and destruct with inductive specifications