Nombre | Introducción a COQ: Lógica, Tipos y Verificación |
---|---|
Código | MA7125 |
Institución |
|
Curso |
---|
Primavera 2017 |
Sección 1
|
Nombre | Introducción a COQ: Lógica, Tipos y Verificación |
---|---|
Código | MA7125 |
Institución |
|
Curso |
---|
Primavera 2017 |
Sección 1
|