Homework 3: Data Structures and Tactics
Due Monday, February 12th, at 11:59 PM
Complete the following exercises from Tactics.v:
silly_ex
, apply_exercise1
, injection_ex3
, discriminate_ex3
, eqb_true
, plus_n_n_injective
, gen_dep_practice
, destruct_eqn_practice
, eqb_sym
(21 points autograded)
If you are a graduate student, also complete exercise filter_exercise
(3 points autograded).