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

Introducción al Curso y Cálculo Proposicional en Coq

Cálculo de Predicados

Cálculo de Construcciones

Cálculo de Construcciones: segunda parte

Cálculo de Construcciones Inductivas

Práctico de inducción y recursión

Verificación y síntesis de programas funcionales

Inversión

Compartir

×

Iniciar en:

Terminar en:

10/10/2023

Todo el contenido de OpenFing es Creative Commons.