LMF2018: Ejercicios de razonamiento sobre programas en Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado soluciones de ejercicios de la relación 11 de razonamiento sobre programas en Isabelle/HOL.
En la clase de hoy del curso Lógica matemática y fundamentos se ha explicado soluciones de ejercicios de la relación 11 de razonamiento sobre programas en Isabelle/HOL.