Tutorials on Coq

Here are some course notes on Coq-related topics:

The first two tutorials are part of Benjamin Pierce et al's course Programming Language Foundations, Volume 2 of the Software Foundations series.