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