Assignment 5: Rocq Basics🔗

Due: Monday, Dec 1, 11:59PM

Project 5 can be found in ELMS Files → Projects → P5_rocq.zip

Submitting🔗

Run make submit, and submit the generated file submit.zip to gradescope.

Grading🔗

Your submission will be graded for correctness. You are strongly encouraged to add your own tests to ensure the correctness of your solutions.