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
.