Exercises for April 20. Please attempt the following exercises *in addition to* all 1-star exercises. Mail your completed scripts to me (apt@cs.pdx.edu) by the beginning of class on Tuesday 4/20. Remember to work broadly as well as deeply. Don't get stuck on any one problem for too long (especially not the extra problems towards the ends of the chapters). Logic.v: evn_ev MyProp_iff_ev definition of True as an inductive prop not_eq_beq_false dist_exists_or R_Provability R_fact (optional) le_exercises no_repeats Imp.v: (We didn't get very far in this unit, so there's no need to hand these in until 4/27) optimize_0plus_b bevalR update_same ceval__ceval_step XtimesYinZ_spec loop_never_steps stack_compiler