-
Parte b-c finales 15 Ago 201715/08/17 a las 23:17 hrs.2017-08-15 23:17:15
Tomás Díaz T. -
CACM on verification 15 Ago 201715/08/17 a las 21:22 hrs.2017-08-15 21:22:15
Éric Tanter -
dia mini-controles 15 Ago 201715/08/17 a las 16:23 hrs.2017-08-15 16:23:15
Éric Tanter -
Re (1): status 14 Ago 201714/08/17 a las 16:58 hrs.2017-08-14 16:58:14
Fabián Mosso -
status 14 Ago 201714/08/17 a las 16:57 hrs.2017-08-14 16:57:14
Éric Tanter -
Sala cátedra lunes 14 de agosto 14 Ago 201714/08/17 a las 14:25 hrs.2017-08-14 14:25:14
Nicolás Bravo -
status 9 Ago 201709/08/17 a las 16:18 hrs.2017-08-09 16:18:09
Éric Tanter -
Noticias 8 Ago 201708/08/17 a las 16:16 hrs.2017-08-08 16:16:08
Éric Tanter -
mini-tarea 1 (Fecha entrega: 17/08/2017) 8 Ago 201708/08/17 a las 15:20 hrs.2017-08-08 15:20:08
Éric Tanter -
Se actualizó la información de presentación 4 Ago 201704/08/17 a las 12:10 hrs.2017-08-04 12:10:04
Éric Tanter -
Re (7): instalacion Coq 2 Ago 201702/08/17 a las 12:50 hrs.2017-08-02 12:50:02
Tomás Díaz T. -
Re (6): instalacion Coq 2 Ago 201702/08/17 a las 12:47 hrs.2017-08-02 12:47:02
Tomás Díaz T. -
Re (5): instalacion Coq 1 Ago 201701/08/17 a las 13:34 hrs.2017-08-01 13:34:01
Éric Tanter -
Re (4): instalacion Coq 1 Ago 201701/08/17 a las 11:19 hrs.2017-08-01 11:19:01
Fabián Mosso -
Company Coq plugin for Emacs 1 Ago 201701/08/17 a las 10:19 hrs.2017-08-01 10:19:01
Éric Tanter -
The Coq Proof Assistant 1 Ago 201701/08/17 a las 10:18 hrs.2017-08-01 10:18:01
Éric Tanter -
Pagina del Curso 1 Ago 201701/08/17 a las 10:18 hrs.2017-08-01 10:18:01
Éric Tanter -
certified software.pdf 1 Ago 201701/08/17 a las 10:17 hrs.2017-08-01 10:17:01
Éric Tanter -
Re (2): Primera clase 1 Ago 201701/08/17 a las 10:14 hrs.2017-08-01 10:14:01
Éric Tanter -
Re (3): instalacion Coq 1 Ago 201701/08/17 a las 00:13 hrs.2017-08-01 00:13:01
Tomás Díaz T. -
Re (2): instalacion Coq 1 Ago 201701/08/17 a las 00:00 hrs.2017-08-01 00:00:01
Hans Fehrmann R -
Re (1): instalacion Coq 31 Jul 201731/07/17 a las 22:43 hrs.2017-07-31 22:43:31
Tomás Díaz T. -
Re (1): Primera clase 31 Jul 201731/07/17 a las 22:39 hrs.2017-07-31 22:39:31
K. Edgar Contreras Mayr -
Primera clase 31 Jul 201731/07/17 a las 20:21 hrs.2017-07-31 20:21:31
Hans Fehrmann R -
instalacion Coq 31 Jul 201731/07/17 a las 17:06 hrs.2017-07-31 17:06:31
É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