CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2022, Primavera

U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de U-Pasaporte

Introducción a Coq: Lógica, Tipos y Verificación