Homework 8: List Proofs in Iris
Due Friday, April 12, at 11:59 PM
Complete the following exercises from ex_02_sumlist.v: inc_list_spec_induction
, inc_list_spec_löb
, nth_error_spec
If you are a graduate student, also do map_list_spec
.
Due Friday, April 12, at 11:59 PM
Complete the following exercises from ex_02_sumlist.v: inc_list_spec_induction
, inc_list_spec_löb
, nth_error_spec
If you are a graduate student, also do map_list_spec
.