Instituto de Computación - Grupo de Metodos Formales - Facultad de Ingeniería

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

Algunos Links

La página de COQ

Documentos varios sobre COQ (recomendado!)

Principal   Info-Gral   Teóricos   Prácticos   Entregas   Pág. Coq   Bibliografía   Software


Cualquier sugerencia puede ser remitida por Email a los docentes del curso