Assignment 2 is now well underway and is due in a little under 9 days from the time this notice was posted.
Both quiz 5 and 6 are due this Sunday at 9 p.m.
There will be no quiz for week 10.
Forum help for the assignment will be available over both this weekend and next weekend, or you can also attend the week 10 post-lecture consultation.
Assignment 2 is now complete, a 4th exercise on lemmas that uses this and next week's lecture has been added. Get on the forum if anything is unclear or you get stuck.
I will write a small blurb on performance, which is an issue you may need to consider when you get close to submission as there is a verification time limit in the auto-marker.
Week 9 Dafny chapters ' Le mma Introductio n' and 'Lemma Induction 1' have been made opened. Also, a new video that shows Sam doing a proof by induction has been added to Practice and Play. Please take a look at them.