LMF2018: Conjuntos, funciones y relaciones en Isabelle/HOL
En la clase de hoy del curso de Lógica matemática y fundamentos se ha estudiado cómo trabajar en Isabelle/HOL con conjuntos, funciones y relaciones.
La clase se ha basado en la siguiente teoría Isabelle/HOL
Read More “LMF2018: Conjuntos, funciones y relaciones en Isabelle/HOL”