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).