-
status 6 Sep 201706/09/17 at 16:562017-09-06 16:56:06
Éric Tanter -
status 4 Sep 201704/09/17 at 16:542017-09-04 16:54:04
Éric Tanter -
Re (5): Indicación P1. f. 4 Sep 201704/09/17 at 11:022017-09-04 11:02:04
Éric Tanter -
Re (1): Sol: Coq no encuentra algun archivo 4 Sep 201704/09/17 at 11:022017-09-04 11:02:04
Éric Tanter -
clase hoy 4 Sep 201704/09/17 at 10:502017-09-04 10:50:04
Éric Tanter -
Re (4): Indicación P1. f. 3 Sep 201703/09/17 at 21:322017-09-03 21:32:03
Fabián Mosso -
Re (3): Indicación P1. f. 3 Sep 201703/09/17 at 21:252017-09-03 21:25:03
Hans Fehrmann R -
Re (2): Indicación P1. f. 3 Sep 201703/09/17 at 21:152017-09-03 21:15:03
Paula Ríos A. -
Re (1): Indicación P1. f. 3 Sep 201703/09/17 at 12:432017-09-03 12:43:03
Tomás Díaz T. -
Indicación P1. f. 2 Sep 201702/09/17 at 19:462017-09-02 19:46:02
Nicolás Bravo -
Sol: Coq no encuentra algun archivo 1 Sep 201701/09/17 at 14:562017-09-01 14:56:01
Fabián Mosso -
Re (6): P2 31 Aug 201731/08/17 at 10:022017-08-31 10:02:31
Nicolás Bravo -
Re (5): P2 31 Aug 201731/08/17 at 09:352017-08-31 09:35:31
Martin Bodin -
Re (4): P2 31 Aug 201731/08/17 at 02:442017-08-31 02:44:31
Tomás Díaz T. -
Re (3): P2 30 Aug 201730/08/17 at 23:282017-08-30 23:28:30
Hans Fehrmann R -
Re (2): P2 30 Aug 201730/08/17 at 21:012017-08-30 21:01:30
Tomás Díaz T. -
Re (1): P2 30 Aug 201730/08/17 at 19:462017-08-30 19:46:30
Hans Fehrmann R -
P2 30 Aug 201730/08/17 at 14:572017-08-30 14:57:30
Tomás Díaz T. -
Control 1 29 Aug 201729/08/17 at 11:352017-08-29 11:35:29
Martin Bodin -
tarea 1 28 Aug 201728/08/17 at 10:382017-08-28 10:38:28
Martin Bodin -
Re (5): Theorem combine_split 26 Aug 201726/08/17 at 21:062017-08-26 21:06:26
Tomás Díaz T. -
Re (4): Theorem combine_split 26 Aug 201726/08/17 at 08:412017-08-26 08:41:26
Éric Tanter -
Re (3): Theorem combine_split 25 Aug 201725/08/17 at 12:442017-08-25 12:44:25
Paula Ríos A. -
status 23 Aug 201723/08/17 at 17:032017-08-23 17:03:23
Éric Tanter -
tarea 2 (Fecha entrega: 03/09/2017) 23 Aug 201723/08/17 at 10:472017-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