-
Semana 10 (Fecha entrega: 27/10/2022) 21 Oct 202221/10/22 a las 09:42 hrs.2022-10-21 09:42:21
Tomás Díaz T. -
Re (1): Unset Printing Notation en vscode 20 Oct 202220/10/22 a las 19:00 hrs.2022-10-20 19:00:20
Éric Tanter -
Unset Printing Notation en vscode 20 Oct 202220/10/22 a las 16:45 hrs.2022-10-20 16:45:20
Stefan Malewski -
Re (2): charla Datalog 20 Oct 202220/10/22 a las 07:56 hrs.2022-10-20 07:56:20
Éric Tanter -
Re (1): charla Datalog 17 Oct 202217/10/22 a las 19:49 hrs.2022-10-17 19:49:17
Éric Tanter -
Re (2): matematicas discretas 14 Oct 202214/10/22 a las 20:01 hrs.2022-10-14 20:01:14
Éric Tanter -
Re (1): matematicas discretas 14 Oct 202214/10/22 a las 19:58 hrs.2022-10-14 19:58:14
Ismael Correa A. -
matematicas discretas 14 Oct 202214/10/22 a las 19:17 hrs.2022-10-14 19:17:14
Éric Tanter -
Semana 9 (Fecha entrega: 20/10/2022) 14 Oct 202214/10/22 a las 14:32 hrs.2022-10-14 14:32:14
Tomás Díaz T. -
Pregunten/Consulten 14 Oct 202214/10/22 a las 10:46 hrs.2022-10-14 10:46:14
Tomás Díaz T. -
Semana 7 14 Oct 202214/10/22 a las 10:43 hrs.2022-10-14 10:43:14
Tomás Díaz T. -
Semana 4 14 Oct 202214/10/22 a las 09:42 hrs.2022-10-14 09:42:14
Tomás Díaz T. -
charla Datalog 14 Oct 202214/10/22 a las 09:24 hrs.2022-10-14 09:24:14
Éric Tanter -
Ejercicios semana 8 7 Oct 202207/10/22 a las 14:28 hrs.2022-10-07 14:28:07
Tomás Díaz T. -
Semana 8 (Fecha entrega: 13/10/2022) 7 Oct 202207/10/22 a las 14:27 hrs.2022-10-07 14:27:07
Tomás Díaz T. -
Re (2): charla abstract interpreters / WebAssembly 6 Oct 202206/10/22 a las 16:55 hrs.2022-10-06 16:55:06
Éric Tanter -
Logical relations in Iris 6 Oct 202206/10/22 a las 15:20 hrs.2022-10-06 15:20:06
Éric Tanter -
Re (1): charla abstract interpreters / WebAssembly 4 Oct 202204/10/22 a las 14:14 hrs.2022-10-04 14:14:04
Tomás Díaz T. -
Re (1): Ayuda demostración 3 Oct 202203/10/22 a las 13:38 hrs.2022-10-03 13:38:03
Éric Tanter -
Ayuda demostración 3 Oct 202203/10/22 a las 00:00 hrs.2022-10-03 00:00:03
Andrés Restrepo -
Ejercicios Semana 7 30 Sep 202230/09/22 a las 14:56 hrs.2022-09-30 14:56:30
Tomás Díaz T. -
Semana 7 (Fecha entrega: 06/10/2022) 30 Sep 202230/09/22 a las 14:55 hrs.2022-09-30 14:55:30
Tomás Díaz T. -
charla abstract interpreters / WebAssembly 30 Sep 202230/09/22 a las 11:06 hrs.2022-09-30 11:06:30
Éric Tanter -
Re (1): Hacer que Coq muestre todos los paréntesis 30 Sep 202230/09/22 a las 10:41 hrs.2022-09-30 10:41:30
Tomás Díaz T. -
Hacer que Coq muestre todos los paréntesis 30 Sep 202230/09/22 a las 09:43 hrs.2022-09-30 09:43:30
Gaspar Ricci
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