-
Presencialidad/Virtualidad auxiliar 16 Aug 202216/08/22 at 10:342022-08-16 10:34:16
Tomás Díaz T. -
Aux virtual o presencial? 16 Aug 202216/08/22 at 10:332022-08-16 10:33:16
Tomás Díaz T. -
Re (2): Auxiliar semana 1 (virtual) - Instalar Coq 12 Aug 202212/08/22 at 14:312022-08-12 14:31:12
Tomás Díaz T. -
Discord curso 12 Aug 202212/08/22 at 09:532022-08-12 09:53:12
Tomás Díaz T. -
Re (1): Auxiliar semana 1 (virtual) - Instalar Coq 12 Aug 202212/08/22 at 09:502022-08-12 09:50:12
Tomás Díaz T. -
Windows Coq 8.15 Installer 12 Aug 202212/08/22 at 09:492022-08-12 09:49:12
Tomás Díaz T. -
intro.pdf 12 Aug 202212/08/22 at 09:092022-08-12 09:09:12
Éric Tanter -
VSCoq - VSCode extension 11 Aug 202211/08/22 at 18:362022-08-11 18:36:11
Tomás Díaz T. -
Software Foundations 11 Aug 202211/08/22 at 18:352022-08-11 18:35:11
Tomás Díaz T. -
Download page - Official website 11 Aug 202211/08/22 at 18:352022-08-11 18:35:11
Tomás Díaz T. -
Install Coq Platform - Github 11 Aug 202211/08/22 at 18:332022-08-11 18:33:11
Tomás Díaz T. -
El servicio 'Enlaces' ha sido activado 11 Aug 202211/08/22 at 18:312022-08-11 18:31:11
Tomás Díaz T. -
Auxiliar semana 1 (virtual) - Instalar Coq 11 Aug 202211/08/22 at 18:312022-08-11 18:31:11
Tomás Díaz T. -
Re (5): horario auxiliar 11 Aug 202211/08/22 at 18:272022-08-11 18:27:11
Tomás Díaz T. -
Re (4): horario auxiliar 10 Aug 202210/08/22 at 11:212022-08-10 11:21:10
Tomás Díaz T. -
Re (3): horario auxiliar 10 Aug 202210/08/22 at 11:152022-08-10 11:15:10
Ismael Correa A. -
Re (3): Horario Ucursos 10 Aug 202210/08/22 at 11:142022-08-10 11:14:10
Rodrigo Urrea -
Re (2): Horario Ucursos 10 Aug 202210/08/22 at 10:522022-08-10 10:52:10
Éric Tanter -
Re (2): horario auxiliar 10 Aug 202210/08/22 at 10:502022-08-10 10:50:10
Tomás Díaz T. -
Re (1): Horario Ucursos 10 Aug 202210/08/22 at 10:462022-08-10 10:46:10
Éric Tanter -
Re (1): horario auxiliar 10 Aug 202210/08/22 at 10:092022-08-10 10:09:10
Ismael Correa A. -
horario auxiliar 10 Aug 202210/08/22 at 09:572022-08-10 09:57:10
Tomás Díaz T. -
Horario Ucursos 10 Aug 202210/08/22 at 09:562022-08-10 09:56:10
Rodrigo Urrea -
horario auxiliar 10 Aug 202210/08/22 at 09:552022-08-10 09:55:10
Tomás Díaz T. -
Horario/Sala 9 Aug 202209/08/22 at 11:432022-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