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