LMF2014: Razonamiento por casos y por inducción en Isabelle/HOL
En la clase de hoy del curso Lógica matemática y fundamentos se ha estudiado cómo demostrar por casos o por inducción propiedade de programas funcionales con Isabelle/HOL.
La teoría correspondiente es
Read More “LMF2014: Razonamiento por casos y por inducción en Isabelle/HOL”