This assignment will be closed on November 20, 2024 (23:59:59).
You must be authenticated to submit your files
CSE 203 - Assignment 03
Using Coq
See the first assignment.
Instructions
Download the cse203_03.v and open it in Coq (see above for instructions on how to start Coq).
The .v file contains problems to be solved.
Do not forget to submit your solution.
Upload form is only available when connected
Repeated submissions are fine.