RA2018: Razonamiento automático con Coq
En la clase de hoy del curso de Razonamiento automático se ha explicado cómo se puede usar Coq como alternativa a Isabelle/HOL que hemos utilizado anteriormente en el curso.
Los temas, con las correspondientes teorías de Coq, que se han explicado
son: