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 Cálculo Proposicional en Coq
2
Cálculo de Predicados
3
Cálculo de Construcciones
4
Cálculo de Construcciones: segunda parte
5
Cálculo de Construcciones Inductivas
6
Práctico de inducción y recursión
7
Inversión
8
Verificación y síntesis de programas funcionales
