Interactive theorem proving

This page is part of the content downloaded from Weeks 1-3 feedback (fill after completing but before submitting lab 3) on Sunday, 29 June 2025, 20:47. Note that some content and any files larger than 50 MB are not downloaded.