Tutorials on Coq

Below are three tutorials focusing on general aspects of Coq.

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