This assignment will be closed on December 17, 2025 (23:59:59).
You must be authenticated to submit your files

CSE 203 - Assignment 05

Using Coq

See the first assignment.

Instructions

  1. Download the cse203_05.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.