OPLSS2023 Introduction to Coq course at OPLSS 2023 Lectures 1 & 2: slides Exercises: Lecture1.v. Lecture 3: slides Exercises: Maps.v