Assignment 6: Rocq Tactics🔗

Due: Friday, Dec 12, 11:59PM

Project 5 can be found in ELMS Files → Projects → P6.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.