Every piece of graded work in the course, what it is worth, and when it is due.
Three pieces of work, weighted to 100: the weekly lab proofs, one exercise on definitions, and the verifier you write across the second half of the semester. Each page carries the brief, what to submit and how it is marked.
Lab proofs
Nine weekly proofs, weeks 3 to 11, each due on the Friday of its week. The best eight count, and a proof counts when the verifier accepts it.
Due 21 May 2027 · Weight: 30%
The verifier project
Write your own Metamath verifier, in a language of your choice, and have it marked against a test suite the course provides. Set in week 5, due at the end of week 12; full details to follow.
Due 28 May 2027 · Weight: 50%
The definition exercise
Write a definition, break it, and explain what the definition check caught. Set in week 7, due at the end of week 8.
Due 30 April 2027 · Weight: 20%