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.