Construcción Formal de Programas en Teoría de Tipos
Construcción Formal de Programas en Teoría de Tipos: Todos los participantes
Foro Novedades
Foro Consultas de Teórico
Foro Consultas de Práctico
Módulo 1: Asistentes de pruebas para Lógicos y Matemáticos
Tarea Entrega Práctico 1
Cálculo de predicados de alto orden
Tarea Entrega Práctico 2
Cálculo Lambda y Cálculo de Construcciones
Tarea Entrega Práctico 3
Inducción y Recursión
Tarea Entrega Práctico 4