CS428/528 Assignment 2
Last modified: January 27, 2024.
Due: Monday, February 5, 2024
Finish all exercises listed below.
- Poly:
- mumble_grumble
- app_nil_r
- app_assoc
- filter_even_gt7
- partition
- map_rev
- fold_map
- currying
- Tactics:
- apply_exercise1
- injection_ex3
- plus_n_n_injective
- gen_dep_practice
- eqb_sym
- split_combine
- Logic:
- and_exercise
- and_assoc
- not_implies_our_not
- contrapositive
- or_distributes_over_and
- tr_rev_correct
- eqb_list
- excluded_middle_irrefutable