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