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