-
tarea 2 (Fecha entrega: 03/09/2017) 23 Ago 201723/08/17 a las 10:47 hrs.2017-08-23 10:47:23
Éric Tanter -
Re (1): se mueve auxiliar (y mini-control) al Lunes 28 23 Ago 201723/08/17 a las 10:30 hrs.2017-08-23 10:30:23
Nicolás Bravo -
se mueve auxiliar (y mini-control) al Lunes 28 23 Ago 201723/08/17 a las 10:25 hrs.2017-08-23 10:25:23
Éric Tanter -
Re (2): Theorem combine_split 23 Ago 201723/08/17 a las 10:16 hrs.2017-08-23 10:16:23
Martin Bodin -
Re (1): Theorem combine_split 23 Ago 201723/08/17 a las 00:03 hrs.2017-08-23 00:03:23
Fabián Mosso -
Theorem combine_split 22 Ago 201722/08/17 a las 23:39 hrs.2017-08-22 23:39:22
Paula Ríos A. -
Re (9): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 23:18 hrs.2017-08-21 23:18:21
K. Edgar Contreras Mayr -
Re (8): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 23:12 hrs.2017-08-21 23:12:21
Juan R. Espejo -
Re (7): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 23:11 hrs.2017-08-21 23:11:21
K. Edgar Contreras Mayr -
Re (6): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 23:09 hrs.2017-08-21 23:09:21
K. Edgar Contreras Mayr -
proxima semana 21 Ago 201721/08/17 a las 16:17 hrs.2017-08-21 16:17:21
Éric Tanter -
mini-control viernes 21 Ago 201721/08/17 a las 16:15 hrs.2017-08-21 16:15:21
Éric Tanter -
status 21 Ago 201721/08/17 a las 16:12 hrs.2017-08-21 16:12:21
Éric Tanter -
Re (5): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 15:58 hrs.2017-08-21 15:58:21
K. Edgar Contreras Mayr -
Re (4): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 14:13 hrs.2017-08-21 14:13:21
Éric Tanter -
Re (3): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 10:32 hrs.2017-08-21 10:32:21
K. Edgar Contreras Mayr -
Re (2): CoqIde no me hace los archivos .vo :( 21 Ago 201721/08/17 a las 10:07 hrs.2017-08-21 10:07:21
Martin Bodin -
Re (1): CoqIde no me hace los archivos .vo :( 20 Ago 201720/08/17 a las 15:41 hrs.2017-08-20 15:41:20
Sergio Peñafiel A. -
CoqIde no me hace los archivos .vo :( 20 Ago 201720/08/17 a las 15:33 hrs.2017-08-20 15:33:20
K. Edgar Contreras Mayr -
recuerden votar respecto de los días de mini-control! 16 Ago 201716/08/17 a las 16:37 hrs.2017-08-16 16:37:16
Éric Tanter -
status 16 Ago 201716/08/17 a las 16:23 hrs.2017-08-16 16:23:16
Éric Tanter -
Re (5): Parte b-c finales 16 Ago 201716/08/17 a las 14:23 hrs.2017-08-16 14:23:16
Éric Tanter -
Re (4): Parte b-c finales 16 Ago 201716/08/17 a las 12:34 hrs.2017-08-16 12:34:16
Tomás Díaz T. -
Re (3): Parte b-c finales 16 Ago 201716/08/17 a las 12:33 hrs.2017-08-16 12:33:16
Tomás Díaz T. -
Re (2): Parte b-c finales 16 Ago 201716/08/17 a las 09:50 hrs.2017-08-16 09:50:16
É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