Homework 2: Induction

Due Wednesday, February 2nd, at 9:00 AM

Complete the following exercises from Induction.v and Lists.v:

Induction.v: basic_induction, double_plus, destruct_induction, add_comm_informal, mul_comm, eqb_refl

Lists.v: snd_fst_is_swap, fst_swap_is_snd, list_funs, bag_functions, add_inc_count, list_exercises, eqblist, count_member_nonzero, hd_error, option_elim_hd, baz_num_elts