Cursos
Actualizaciones
FAQs
Sobre el proyecto
Construcción Formal de Programas en Teoría de Tipos
Teórico 2023
Teórico 2022
Teórico 2021
1
Introducción al curso y al cálculo proposicional en Coq
2
Cálculo proposicional
3
Cálculo de Predicados
4
Cálculo de Construcciones, parte 1
5
Cálculo de Construcciones, parte 2
6
Cálculo de Construcciones Inductivas
7
Inversión e inducción
8
Verificación y derivación formal de programas funcionales
9
Caso de estudio para el Práctico 7
