Nombre Introducción a COQ: Lógica, Tipos y Verificación
Código MA7125
Institución

Facultad de Cs. Físicas y Matemáticas Facultad de Cs. Físicas y Matemáticas
Nº Curso Relevancia
1

Facultad de Cs. Físicas y Matemáticas Introducción a Coq: Lógica, Tipos y Verificación

CC7125-1 - Primavera 2024

  • Éric Tanter Éric Tanter
  • Gonzalo Navarro Gonzalo Navarro
100%
2

Facultad de Cs. Físicas y Matemáticas Introducción a Coq: Lógica, Tipos y Verificación

CC7125-1 - Primavera 2022

  • Éric Tanter Éric Tanter
100%
3

Facultad de Cs. Físicas y Matemáticas Introducción a Coq: Lógica, Tipos y Verificación

CC7125-1 - Primavera 2017

  • Éric Tanter Éric Tanter
100%