RA2019: Ejercicios de programación funcional en Isabelle/HOL

En la segunda parte de la clase de hoy del curso de Razonamiento automático se han comentado las soluciones de la 1ª relación de ejercicios de razonamiento
sobre programación funcional en Isabelle/HOL.

La teoría con las soluciones de los ejercicios es la siguiente