Tutorials on Coq

Here are some course notes on Coq-related topics:

The first two tutorials are part of Benjamin Pierce et al's Software Foundations course.