This assignment has been closed on December 04, 2023.
You can still upload files, but please note that your submission will be marked as late.
You must be authenticated to submit your files

CSE 203 - Assignment 04

Using Coq

See the first assignment.

Instructions (mandatory part)

  1. Download the cse203_04.v and open it in Coq (see above for instructions on how to start Coq).

  2. The .v file contains problems to be solved.

  3. Do not forget to submit your solution.

Upload form is only available when connected

Repeated submissions are fine.

Instructions (optional part)

  1. Download the cse203_04_opt.v and open it in Coq (see above for instructions on how to start Coq).

  2. The .v file contains problems to be solved.

  3. Do not forget to submit your solution.

Upload form is only available when connected

Repeated submissions are fine.