-
Re (1): Auxiliar 20 de Agosto 20 Ago 202420/08/24 a las 13:27 hrs.2024-08-20 13:27:20
Stefan Malewski -
Auxiliar 20 de Agosto 20 Ago 202420/08/24 a las 09:40 hrs.2024-08-20 09:40:20
Stefan Malewski -
Re (3): Instalación de Coq 16 Ago 202416/08/24 a las 18:20 hrs.2024-08-16 18:20:16
Éric Tanter -
devcontainer.json 15 Ago 202415/08/24 a las 13:39 hrs.2024-08-15 13:39:15
David Ibáñez V. -
devcontainer.json 15 Ago 202415/08/24 a las 13:39 hrs.2024-08-15 13:39:15
David Ibáñez V. -
Re (2): Instalación de Coq 15 Ago 202415/08/24 a las 13:38 hrs.2024-08-15 13:38:15
David Ibáñez V. -
Re (1): Instalación de Coq 14 Ago 202414/08/24 a las 17:46 hrs.2024-08-14 17:46:14
Valeria Gutierrez S. -
Instalación de Coq 14 Ago 202414/08/24 a las 13:32 hrs.2024-08-14 13:32:14
Stefan Malewski -
Re (2): horario o formato de auxiliares 13 Ago 202413/08/24 a las 12:15 hrs.2024-08-13 12:15:13
Stefan Malewski -
Re (1): horario o formato de auxiliares 13 Ago 202413/08/24 a las 12:02 hrs.2024-08-13 12:02:13
Vicente Sandoval Covarrubias -
horario o formato de auxiliares 9 Ago 202409/08/24 a las 16:10 hrs.2024-08-09 16:10:09
Stefan Malewski -
Formato auxiliar 9 Ago 202409/08/24 a las 16:08 hrs.2024-08-09 16:08:09
Stefan Malewski -
Horario auxiliar 9 Ago 202409/08/24 a las 16:07 hrs.2024-08-09 16:07:09
Stefan Malewski -
intro.pdf 8 Ago 202408/08/24 a las 16:38 hrs.2024-08-08 16:38:08
Éric Tanter -
Re (1): clase introducción 7 Ago 202407/08/24 a las 17:27 hrs.2024-08-07 17:27:07
Éric Tanter -
Re (2): horario clases 7 Ago 202407/08/24 a las 17:26 hrs.2024-08-07 17:26:07
Éric Tanter -
clase introducción 6 Ago 202406/08/24 a las 10:45 hrs.2024-08-06 10:45:06
Éric Tanter -
Re (1): horario clases 5 Ago 202405/08/24 a las 18:15 hrs.2024-08-05 18:15:05
Éric Tanter -
horario clases 5 Ago 202405/08/24 a las 18:12 hrs.2024-08-05 18:12:05
Éric Tanter -
horario clases 5 Ago 202405/08/24 a las 18:10 hrs.2024-08-05 18:10:05
Éric Tanter -
El servicio 'Votaciones' ha sido activado 5 Ago 202405/08/24 a las 18:04 hrs.2024-08-05 18:04:05
Éric Tanter
U-Cursos ::
CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2024, Primavera
Introducción a Coq: Lógica, Tipos y Verificación
CC7125-1 - Primavera 2024
- Historial