Consultas de Teórico

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