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.