Nombre | Introducción a Coq: Lógica, Tipos y Verificación |
---|---|
Código | CC7125 |
Institución | Facultad de Cs. Físicas y Matemáticas |
Curso |
---|
Primavera 2022 |
Sección 1
|
Primavera 2017 |
Sección 1
|
Nombre | Introducción a Coq: Lógica, Tipos y Verificación |
---|---|
Código | CC7125 |
Institución | Facultad de Cs. Físicas y Matemáticas |
Curso |
---|
Primavera 2022 |
Sección 1
|
Primavera 2017 |
Sección 1
|