Nombre | Introducción a COQ: Lógica, Tipos y Verificación |
---|---|
Código | MA7125 |
Institución |
|
Nº | Curso | Relevancia |
---|---|---|
1 |
|
100% |
2 |
|
100% |
3 |
|
100% |
Nombre | Introducción a COQ: Lógica, Tipos y Verificación |
---|---|
Código | MA7125 |
Institución |
|
Nº | Curso | Relevancia |
---|---|---|
1 |
|
100% |
2 |
|
100% |
3 |
|
100% |