-
status 6 Sep 201706/09/17 a las 16:56 hrs.2017-09-06 16:56:06
Éric Tanter -
status 4 Sep 201704/09/17 a las 16:54 hrs.2017-09-04 16:54:04
Éric Tanter -
Re (5): Indicación P1. f. 4 Sep 201704/09/17 a las 11:02 hrs.2017-09-04 11:02:04
Éric Tanter -
Re (1): Sol: Coq no encuentra algun archivo 4 Sep 201704/09/17 a las 11:02 hrs.2017-09-04 11:02:04
Éric Tanter -
clase hoy 4 Sep 201704/09/17 a las 10:50 hrs.2017-09-04 10:50:04
Éric Tanter -
Re (4): Indicación P1. f. 3 Sep 201703/09/17 a las 21:32 hrs.2017-09-03 21:32:03
Fabián Mosso -
Re (3): Indicación P1. f. 3 Sep 201703/09/17 a las 21:25 hrs.2017-09-03 21:25:03
Hans Fehrmann R -
Re (2): Indicación P1. f. 3 Sep 201703/09/17 a las 21:15 hrs.2017-09-03 21:15:03
Paula Ríos A. -
Re (1): Indicación P1. f. 3 Sep 201703/09/17 a las 12:43 hrs.2017-09-03 12:43:03
Tomás Díaz T. -
Indicación P1. f. 2 Sep 201702/09/17 a las 19:46 hrs.2017-09-02 19:46:02
Nicolás Bravo -
Sol: Coq no encuentra algun archivo 1 Sep 201701/09/17 a las 14:56 hrs.2017-09-01 14:56:01
Fabián Mosso -
Re (6): P2 31 Ago 201731/08/17 a las 10:02 hrs.2017-08-31 10:02:31
Nicolás Bravo -
Re (5): P2 31 Ago 201731/08/17 a las 09:35 hrs.2017-08-31 09:35:31
Martin Bodin -
Re (4): P2 31 Ago 201731/08/17 a las 02:44 hrs.2017-08-31 02:44:31
Tomás Díaz T. -
Re (3): P2 30 Ago 201730/08/17 a las 23:28 hrs.2017-08-30 23:28:30
Hans Fehrmann R -
Re (2): P2 30 Ago 201730/08/17 a las 21:01 hrs.2017-08-30 21:01:30
Tomás Díaz T. -
Re (1): P2 30 Ago 201730/08/17 a las 19:46 hrs.2017-08-30 19:46:30
Hans Fehrmann R -
P2 30 Ago 201730/08/17 a las 14:57 hrs.2017-08-30 14:57:30
Tomás Díaz T. -
Control 1 29 Ago 201729/08/17 a las 11:35 hrs.2017-08-29 11:35:29
Martin Bodin -
tarea 1 28 Ago 201728/08/17 a las 10:38 hrs.2017-08-28 10:38:28
Martin Bodin -
Re (5): Theorem combine_split 26 Ago 201726/08/17 a las 21:06 hrs.2017-08-26 21:06:26
Tomás Díaz T. -
Re (4): Theorem combine_split 26 Ago 201726/08/17 a las 08:41 hrs.2017-08-26 08:41:26
Éric Tanter -
Re (3): Theorem combine_split 25 Ago 201725/08/17 a las 12:44 hrs.2017-08-25 12:44:25
Paula Ríos A. -
status 23 Ago 201723/08/17 a las 17:03 hrs.2017-08-23 17:03:23
Éric Tanter -
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
U-Cursos ::
CC7125-1 Introducción a Coq: Lógica, Tipos y Verificación 2017, Primavera
Introducción a Coq: Lógica, Tipos y Verificación
CC7125-1 - Primavera 2017
- Historial