CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2017, 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

Nº	Título	Por
Clases
1	planches.pdf 1.2 mb	Martin Bodin 20 Nov 201720/11/172017-11-20
2	JSCert, part 1.pdf 2 mb	Martin Bodin 15 Nov 201715/11/172017-11-15

Nº

Título

Por

Clases