Homework 5: Inductive Propositions

Due Thursday, February 24, at 2:00 PM

Complete the following exercises from IndProp.v:

ev_double, inversion_practice, ev_sum, le_exercises up to lt_ge_cases, R_provability, reflect_iff, eqbP_practice, nostutter_defn

If you are taking the course for 4 credits, also do ev_ev__ev, total_relation, and empty_relation.