We will use the submit server to collect course assignments. It can be accessed at:
Under the web submission column, press the "submit" button.
Upload a zip file containing your files (Basics.v and Induction.v, for example).
When you zip up your files for submission, make sure they are at the top level. If they are contained in a directory the submission will not be tested correctly.
You may submit as many times as you like before the deadline, so don’t be afraid to submit early and often.