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