Hay alguna bibliografía recomendada para el curso?
Saludos!
Hola.
Materiales de apoyo al curso están disponibles en el sitio de Coq:
http://coq.inria.fr/documentation.
En particular, el manual de Coq, bibliotecas estándar, tutoriales, el libro Coq'Art, entre otros.
Saludos, Carlos