-
Ejercicios Semana 5 27 Sep 202227/09/22 a las 16:26 hrs.2022-09-27 16:26:27
Tomás Díaz T. -
Reescritura de terminos equivalentes usando Setoid y Proper. 26 Sep 202226/09/22 a las 18:14 hrs.2022-09-26 18:14:26
Ismael Correa A. -
Semana 3 23 Sep 202223/09/22 a las 21:34 hrs.2022-09-23 21:34:23
Tomás Díaz T. -
Semana 5 (Fecha entrega: 29/09/2022) 23 Sep 202223/09/22 a las 14:17 hrs.2022-09-23 14:17:23
Tomás Díaz T. -
Semana 4 (Fecha entrega: 22/09/2022) 14 Sep 202214/09/22 a las 18:28 hrs.2022-09-14 18:28:14
Tomás Díaz T. -
Re (1): Auxiliar suspendida (9/9) 12 Sep 202212/09/22 a las 10:20 hrs.2022-09-12 10:20:12
Ismael Correa A. -
Auxiliar suspendida (9/9) 9 Sep 202209/09/22 a las 11:09 hrs.2022-09-09 11:09:09
Tomás Díaz T. -
Semana 2 8 Sep 202208/09/22 a las 21:58 hrs.2022-09-08 21:58:08
Tomás Díaz T. -
Semana 3 (Fecha entrega: 08/09/2022) 7 Sep 202207/09/22 a las 17:31 hrs.2022-09-07 17:31:07
Tomás Díaz T. -
Re (2): Ejercicios semana 3 2 Sep 202202/09/22 a las 14:37 hrs.2022-09-02 14:37:02
Tomás Díaz T. -
Re (1): Ejercicios semana 3 2 Sep 202202/09/22 a las 11:22 hrs.2022-09-02 11:22:02
Rodrigo Urrea -
Ejercicios semana 3 2 Sep 202202/09/22 a las 11:15 hrs.2022-09-02 11:15:02
Tomás Díaz T. -
Re (2): clase hoy 01/09 1 Sep 202201/09/22 a las 13:30 hrs.2022-09-01 13:30:01
Éric Tanter -
Re (1): clase hoy 01/09 1 Sep 202201/09/22 a las 12:18 hrs.2022-09-01 12:18:01
Valeria Nahuelpán M. -
Semana 1 1 Sep 202201/09/22 a las 11:36 hrs.2022-09-01 11:36:01
Tomás Díaz T. -
clase hoy 01/09 1 Sep 202201/09/22 a las 10:51 hrs.2022-09-01 10:51:01
Éric Tanter -
Nueva version Software Foundations 30 Ago 202230/08/22 a las 14:28 hrs.2022-08-30 14:28:30
Éric Tanter -
Ejercicios semana 2 26 Ago 202226/08/22 a las 13:04 hrs.2022-08-26 13:04:26
Tomás Díaz T. -
Semana 2 (Fecha entrega: 01/09/2022) 26 Ago 202226/08/22 a las 13:03 hrs.2022-08-26 13:03:26
Tomás Díaz T. -
avance semana 2 26 Ago 202226/08/22 a las 08:43 hrs.2022-08-26 08:43:26
Éric Tanter -
Semana 1 (Fecha entrega: 25/08/2022) 19 Ago 202219/08/22 a las 17:10 hrs.2022-08-19 17:10:19
Éric Tanter -
Ejercicios semana 1 19 Ago 202219/08/22 a las 11:55 hrs.2022-08-19 11:55:19
Tomás Díaz T. -
Semana 1 (Fecha entrega: 25/08/2022) 19 Ago 202219/08/22 a las 11:54 hrs.2022-08-19 11:54:19
Tomás Díaz T. -
Re (1): Presencialidad/Virtualidad auxiliar 18 Ago 202218/08/22 a las 18:26 hrs.2022-08-18 18:26:18
Tomás Díaz T. -
Re (3): Auxiliar semana 1 (virtual) - Instalar Coq 17 Ago 202217/08/22 a las 11:03 hrs.2022-08-17 11:03:17
Tomás Díaz T.
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