You may do the take-home midterm in any 6-hour period between March 8 at 4:30pm and March 10 at 10:30pm.
When you are ready to start working on the midterm, and not before, click on "Check All Submitted Files" while no file has been uploaded. The midterm exam (Midterm.v) will then be mailed to you. Then upload your solution within 6 hours.
Fill in the definitions and proofs in Midterm.v, at each place indicated.
Upload your assignment in the Tigerfile frame. As usual, you may re-upload as many times as you like, before the 6-hour deadline.