LMF2019: Ejercicios de deducción natural con Isabelle/HOL (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 3.
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 3.