-
Re (2): Duda in-order merge 21 Sep 201721/09/17 a las 11:23 hrs.2017-09-21 11:23:21
Martin Bodin -
Re (1): Duda in-order merge 21 Sep 201721/09/17 a las 09:04 hrs.2017-09-21 09:04:21
Matías Toro I. -
Re (3): Inductive definitions 20 Sep 201720/09/17 a las 22:38 hrs.2017-09-20 22:38:20
Hans Fehrmann R -
Duda in-order merge 20 Sep 201720/09/17 a las 22:17 hrs.2017-09-20 22:17:20
Fabián Mosso -
Re (2): Inductive definitions 20 Sep 201720/09/17 a las 19:42 hrs.2017-09-20 19:42:20
Tomás Díaz T. -
Re (1): ev_plus_plus 20 Sep 201720/09/17 a las 19:12 hrs.2017-09-20 19:12:20
Maximiliano Kauer -
Re (1): Inductive definitions 20 Sep 201720/09/17 a las 18:50 hrs.2017-09-20 18:50:20
Tomás Díaz T. -
Inductive definitions 20 Sep 201720/09/17 a las 18:45 hrs.2017-09-20 18:45:20
Tomás Díaz T. -
ev_plus_plus 20 Sep 201720/09/17 a las 17:20 hrs.2017-09-20 17:20:20
Tomás Díaz T. -
Control 2 / tarea 15 Sep 201715/09/17 a las 15:32 hrs.2017-09-15 15:32:15
Éric Tanter -
tarea-control 2 (Fecha entrega: 24/09/2017) 15 Sep 201715/09/17 a las 15:31 hrs.2017-09-15 15:31:15
Éric Tanter -
controle 2.v 15 Sep 201715/09/17 a las 15:26 hrs.2017-09-15 15:26:15
Martin Bodin -
Re (1): En qué sala están? 15 Sep 201715/09/17 a las 14:47 hrs.2017-09-15 14:47:15
Martin Bodin -
En qué sala están? 15 Sep 201715/09/17 a las 12:05 hrs.2017-09-15 12:05:15
K. Edgar Contreras Mayr -
Verified Cryptography for Firefox 57 14 Sep 201714/09/17 a las 10:09 hrs.2017-09-14 10:09:14
Éric Tanter -
status 13 Sep 201713/09/17 a las 18:15 hrs.2017-09-13 18:15:13
Éric Tanter -
Re (4): Parte f de p1 13 Sep 201713/09/17 a las 12:01 hrs.2017-09-13 12:01:13
Éric Tanter -
Re (3): Parte f de p1 12 Sep 201712/09/17 a las 09:04 hrs.2017-09-12 09:04:12
Hans Fehrmann R -
Re (2): Parte f de p1 11 Sep 201711/09/17 a las 23:29 hrs.2017-09-11 23:29:11
Sergio Peñafiel A. -
Re (1): Parte f de p1 11 Sep 201711/09/17 a las 22:59 hrs.2017-09-11 22:59:11
Hans Fehrmann R -
Parte f de p1 11 Sep 201711/09/17 a las 22:41 hrs.2017-09-11 22:41:11
Tomás Díaz T. -
deptypes.v 11 Sep 201711/09/17 a las 17:51 hrs.2017-09-11 17:51:11
Éric Tanter -
status 11 Sep 201711/09/17 a las 17:50 hrs.2017-09-11 17:50:11
Éric Tanter -
controle 1.v 11 Sep 201711/09/17 a las 13:19 hrs.2017-09-11 13:19:11
Martin Bodin -
planning curso 10 Sep 201710/09/17 a las 16:00 hrs.2017-09-10 16:00:10
Éric Tanter
U-Cursos ::
MA7125-1 Introducción a COQ: Lógica, Tipos y Verificación 2017, Primavera
Introducción a COQ: Lógica, Tipos y Verificación
MA7125-1 - Primavera 2017
- Historial