LMF2018: Programación funcional con Isabelle/HOL
En la clase de hoy del curso de Lógica matemática y fundamentos se ha presentado la programación funcional en Isabelle/HOL resaltando la analogía con la programación en Haskell estudida en primer curso en la asignatura de Informática
La teoría con los ejemplos presentados en la clase es
Read More “LMF2018: Programación funcional con Isabelle/HOL”