RA2018: 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 T1_Programacion_funcional_en_Isabelle.thy.
Read More “RA2018: Programación funcional con Isabelle/HOL”