-
Re (1): Auxiliar 20 de Agosto 20 Aug 202420/08/24 at 13:272024-08-20 13:27:20
Stefan Malewski -
Auxiliar 20 de Agosto 20 Aug 202420/08/24 at 09:402024-08-20 09:40:20
Stefan Malewski -
Re (3): Instalación de Coq 16 Aug 202416/08/24 at 18:202024-08-16 18:20:16
Éric Tanter -
devcontainer.json 15 Aug 202415/08/24 at 13:392024-08-15 13:39:15
David Ibáñez V. -
devcontainer.json 15 Aug 202415/08/24 at 13:392024-08-15 13:39:15
David Ibáñez V. -
Re (2): Instalación de Coq 15 Aug 202415/08/24 at 13:382024-08-15 13:38:15
David Ibáñez V. -
Re (1): Instalación de Coq 14 Aug 202414/08/24 at 17:462024-08-14 17:46:14
Valeria Gutierrez S. -
Instalación de Coq 14 Aug 202414/08/24 at 13:322024-08-14 13:32:14
Stefan Malewski -
Re (2): horario o formato de auxiliares 13 Aug 202413/08/24 at 12:152024-08-13 12:15:13
Stefan Malewski -
Re (1): horario o formato de auxiliares 13 Aug 202413/08/24 at 12:022024-08-13 12:02:13
Vicente Sandoval Covarrubias -
horario o formato de auxiliares 9 Aug 202409/08/24 at 16:102024-08-09 16:10:09
Stefan Malewski -
Formato auxiliar 9 Aug 202409/08/24 at 16:082024-08-09 16:08:09
Stefan Malewski -
Horario auxiliar 9 Aug 202409/08/24 at 16:072024-08-09 16:07:09
Stefan Malewski -
intro.pdf 8 Aug 202408/08/24 at 16:382024-08-08 16:38:08
Éric Tanter -
Re (1): clase introducción 7 Aug 202407/08/24 at 17:272024-08-07 17:27:07
Éric Tanter -
Re (2): horario clases 7 Aug 202407/08/24 at 17:262024-08-07 17:26:07
Éric Tanter -
clase introducción 6 Aug 202406/08/24 at 10:452024-08-06 10:45:06
Éric Tanter -
Re (1): horario clases 5 Aug 202405/08/24 at 18:152024-08-05 18:15:05
Éric Tanter -
horario clases 5 Aug 202405/08/24 at 18:122024-08-05 18:12:05
Éric Tanter -
horario clases 5 Aug 202405/08/24 at 18:102024-08-05 18:10:05
Éric Tanter -
El servicio 'Votaciones' ha sido activado 5 Aug 202405/08/24 at 18:042024-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