RA2013: Programación funcional con Isabelle/HOL
En la primera parte de 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:
Read More “RA2013: Programación funcional con Isabelle/HOL”