This assignment will be closed on October 13, 2026 (23:59:59).
You must be authenticated to submit your files
CSE 203 - Assignment 01
Installing the Rocq proof assistant
Have a look at the moodle page.
Instructions
Download the cse203_01.v and open it in Rocq (see above for instructions on how to start Rocq).
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.