LMF2018: Ejercicios de deducción natural con Isabelle/HOL (1)
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 5, 31, 47 y 57 de la relación 4.
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado demostraciones en Isabelle/HOL de los ejercicios 5, 31, 47 y 57 de la relación 4.