Week6.md

Workplan for Week 6

What you should before our meeting in Week 6

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

• Demo 5
• Exercises 5
• Solutions to Exercises 5
• Homework 5