-
Presencialidad/Virtualidad auxiliar 16 Ago 202216/08/22 a las 10:34 hrs.2022-08-16 10:34:16
Tomás Díaz T. -
Aux virtual o presencial? 16 Ago 202216/08/22 a las 10:33 hrs.2022-08-16 10:33:16
Tomás Díaz T. -
Re (2): Auxiliar semana 1 (virtual) - Instalar Coq 12 Ago 202212/08/22 a las 14:31 hrs.2022-08-12 14:31:12
Tomás Díaz T. -
Discord curso 12 Ago 202212/08/22 a las 09:53 hrs.2022-08-12 09:53:12
Tomás Díaz T. -
Re (1): Auxiliar semana 1 (virtual) - Instalar Coq 12 Ago 202212/08/22 a las 09:50 hrs.2022-08-12 09:50:12
Tomás Díaz T. -
Windows Coq 8.15 Installer 12 Ago 202212/08/22 a las 09:49 hrs.2022-08-12 09:49:12
Tomás Díaz T. -
intro.pdf 12 Ago 202212/08/22 a las 09:09 hrs.2022-08-12 09:09:12
Éric Tanter -
VSCoq - VSCode extension 11 Ago 202211/08/22 a las 18:36 hrs.2022-08-11 18:36:11
Tomás Díaz T. -
Software Foundations 11 Ago 202211/08/22 a las 18:35 hrs.2022-08-11 18:35:11
Tomás Díaz T. -
Download page - Official website 11 Ago 202211/08/22 a las 18:35 hrs.2022-08-11 18:35:11
Tomás Díaz T. -
Install Coq Platform - Github 11 Ago 202211/08/22 a las 18:33 hrs.2022-08-11 18:33:11
Tomás Díaz T. -
El servicio 'Enlaces' ha sido activado 11 Ago 202211/08/22 a las 18:31 hrs.2022-08-11 18:31:11
Tomás Díaz T. -
Auxiliar semana 1 (virtual) - Instalar Coq 11 Ago 202211/08/22 a las 18:31 hrs.2022-08-11 18:31:11
Tomás Díaz T. -
Re (5): horario auxiliar 11 Ago 202211/08/22 a las 18:27 hrs.2022-08-11 18:27:11
Tomás Díaz T. -
Re (4): horario auxiliar 10 Ago 202210/08/22 a las 11:21 hrs.2022-08-10 11:21:10
Tomás Díaz T. -
Re (3): horario auxiliar 10 Ago 202210/08/22 a las 11:15 hrs.2022-08-10 11:15:10
Ismael Correa A. -
Re (3): Horario Ucursos 10 Ago 202210/08/22 a las 11:14 hrs.2022-08-10 11:14:10
Rodrigo Urrea -
Re (2): Horario Ucursos 10 Ago 202210/08/22 a las 10:52 hrs.2022-08-10 10:52:10
Éric Tanter -
Re (2): horario auxiliar 10 Ago 202210/08/22 a las 10:50 hrs.2022-08-10 10:50:10
Tomás Díaz T. -
Re (1): Horario Ucursos 10 Ago 202210/08/22 a las 10:46 hrs.2022-08-10 10:46:10
Éric Tanter -
Re (1): horario auxiliar 10 Ago 202210/08/22 a las 10:09 hrs.2022-08-10 10:09:10
Ismael Correa A. -
horario auxiliar 10 Ago 202210/08/22 a las 09:57 hrs.2022-08-10 09:57:10
Tomás Díaz T. -
Horario Ucursos 10 Ago 202210/08/22 a las 09:56 hrs.2022-08-10 09:56:10
Rodrigo Urrea -
horario auxiliar 10 Ago 202210/08/22 a las 09:55 hrs.2022-08-10 09:55:10
Tomás Díaz T. -
Horario/Sala 9 Ago 202209/08/22 a las 11:43 hrs.2022-08-09 11:43:09
Éric Tanter
U-Cursos ::
CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2022, Primavera
Introducción a Coq: Lógica, Tipos y Verificación
CC7125-1 - Primavera 2022
- Historial