Week3.md

Workplan for Week 3

What you should before our meeting in Week 3

1. Work through Sections 1 and 2 of Logical Verification.
2. Watch the videos that go with Sections 1 and 2, linked to from LoVe.
3. Work through the Lean files that go with Sections 1 and 2:

• Demo 1
• Exercises 1
• Solutions to Exercises 1
• Homework 1
• Demo 2
• Exercises 2
• Solutions to Exercises 2
• Homework 2