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