Don't forget to fill out the SES survey (time is running out)
There should be a link on your course's Moodle page
Assignment 2 has been released. It is due Sunday 21st November 9pm , with submission through the course website. Make sure you read the requirements and conditions of each question carefully.
Quiz 4 will be open from tomorrow morning as usual.
This week's lectures are now available on the course website, covering proofs and lemmas.
Quiz 4 will be opening on Wednesday.
Enjoy your week!
Hope you are enjoying a bit of a break this week! Flex week is a good time to catch up on content and get some more practice with Dafny. Here are some exercises to try (completely optional):
Feel free to discuss and post your solutions on the forum. Have a great week!