OPLSS Coq lecture 3.
Some of the Basics.v exercises.