RA2017: Programación funcional con Isabelle/HOL
En la clase de hoy del curso de Razonamiento automático se ha presentado la programación funcional en Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Como tarea se propuso la resolución de los ejercicios de la 1ª relación.