Workplan for Week 5 What you should before our meeting in Week 5 Work through Section 4 of Logical Verification. Watch the videos that go with Section 4, linked to from LoVe. Work through the Lean files that go with Section 4: Demo 4 Exercises 4 Solutions to Exercises 4 Homework 4