RA2012: Verificación en Isabelle de propiedades de funciones sobre listas (1)
En la clase de hoy del curso de Razonamiento automático se han comentado las soluciones de los ejercicios de verificación en Isabelle de propiedades de funciones sobre listas de las siguientes relaciones:
- Relación 10: Cuantificadores sobre listas.
- Relación 11: Sustitución, inversión y eliminación.
- Relación 12: Menor posición válida.
- Relación 13: Número de elementos válidos.
- Relación 14: Contador de occurrencias.