This assignment has been closed on October 16, 2024.
You can still upload files. However, such late submissions will be flagged as such.
You must be authenticated to submit your files
CSE 203 - Assignment 01
Installing the Coq proof assistant
Have a look at the moodle page.
Instructions
Download the cse203_01.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.