MA7125-1 Introducción a COQ: Lógica, Tipos y Verificación

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:372017-08-28 10:37: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
Martin Bodin ha sido agregado como Profesor Auxiliar 26 Aug 201726/08/17 at 08:292017-08-26 08:29: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

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

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:372017-08-28 10:37: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

Martin Bodin ha sido agregado como Profesor Auxiliar 26 Aug 201726/08/17 at 08:292017-08-26 08:29: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