Hola.
Además del material propio del curso, sugerimos consultar el manual disponible en línea en el sitio oficial del curso:
https://coq.inria.fr/distrib/current/refman/.
Material útil complementario está disponible en:
https://coq.inria.fr/documentation.
Obviamente hay material que excede al curso en si, pero que está muy bueno (tutoriales, libros -como el Coq'Art-, entre otros).
Saludos, Carlos