LMF2019: 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 las demostraciones en Isabelle/HOL de los ejercicios de la relación 2.
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado las demostraciones en Isabelle/HOL de los ejercicios de la relación 2.