RA2019: Razonamiento sobre programas con Isabelle/HOL (2/2)
En la clase de hoy del curso de Razonamiento automático se ha completado el estudio (comenzado en la clase anterior) sobre demostración de propiedades de programas con Isabelle/HOL.
La teoría con los ejemplos presentados en la clase es la siguiente:
Read More “RA2019: Razonamiento sobre programas con Isabelle/HOL (2/2)”