Construcción Formal de Programas en Teoría de Tipos

Introducción al curso y al cálculo proposicional en Coq

Descargar