Here are some course notes on Coq-related topics:
The first two tutorials are part of Benjamin Pierce et al's Software Foundations course.