Añade los primeros ejemplos de código.
Presentación
Presentación para clase de Modelos de Computación. Añade la presentación
en Latex y un archivo en el que se comprueban los mecanismos para
construir evidencia en Coq.
Logo CC-BY-SA
Código restante
Añade código de definición de los números naturales.
Define las listas de números y introduce la lógica de primer orden.
Versión larga de los apuntes
Para ser complementada con el código de programación por otro lado.