Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 06:48 22 mar 2018 (dif | hist) . . (-63) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 07:42 21 mar 2018 (dif | hist) . . (+38 797) . . N Tema 3 (Página creada con '<source lang="ocaml"> (* Datos estructurados en Coq *) Require Export Induction. Module NatList. (* ===================================================================== ...')
- 00:13 21 mar 2018 (dif | hist) . . (+9) . . Temas (→Ponentes)
- 00:12 21 mar 2018 (dif | hist) . . (-2) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 00:09 21 mar 2018 (dif | hist) . . (+291) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 08:22 13 mar 2018 (dif | hist) . . (+35) . . Temas
- 20:23 5 mar 2018 (dif | hist) . . (+123) . . Ejercicios (edición actual)
- 20:21 5 mar 2018 (dif | hist) . . (+10 043) . . N Relación 2 (Página creada con '<source lang="ocaml"> (* T2: Demostraciones por inducción en Coq *) Require Export Basics Induction. (* --------------------------------------------------------------------- ...') (edición actual)
- 20:20 5 mar 2018 (dif | hist) . . (0) . . m R2 (Protegió «R2» ([edit=sysop] (indefinido) [move=sysop] (indefinido))) (edición actual)
- 20:20 5 mar 2018 (dif | hist) . . (+1) . . R2
- 20:20 5 mar 2018 (dif | hist) . . (+6766) . . N R2 (Página creada con '<source lang="text"> (* R2: Demostraciones por inducción en Coq *) Require Export Basics Induction. (* --------------------------------------------------------------------- ...')
- 20:18 5 mar 2018 (dif | hist) . . (+11 335) . . N Tema 2 (Página creada con '<source lang="ocaml"> (* T2: Demostraciones por inducción en Coq *) Definition admit {T: Type} : T. Admitted. (* Ejemplo de importación de teorías *) Require Export Basics...')
- 10:37 3 mar 2018 (dif | hist) . . (+307) . . Temas
- 10:35 3 mar 2018 (dif | hist) . . (+42) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 18:59 27 feb 2018 (dif | hist) . . (+12 068) . . Tema 1
- 10:39 27 feb 2018 (dif | hist) . . (+14 030) . . Tema 1
- 18:45 26 feb 2018 (dif | hist) . . (+68) . . N Tema 1 (Página creada con 'Esta página está preparada para incluir la exposición del Tema 1.')
- 18:33 26 feb 2018 (dif | hist) . . (0) . . m Relación 1 (Desprotegió «Relación 1»)
- 18:32 26 feb 2018 (dif | hist) . . (+454) . . Relación 1
- 18:09 26 feb 2018 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 18:08 26 feb 2018 (dif | hist) . . (-1086) . . R1 (edición actual)
- 18:06 26 feb 2018 (dif | hist) . . (+1689) . . R1
- 13:52 26 feb 2018 (dif | hist) . . (+428) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 09:16 26 feb 2018 (dif | hist) . . (+157) . . Temas
- 09:13 26 feb 2018 (dif | hist) . . (-5) . . Temas
- 09:11 26 feb 2018 (dif | hist) . . (+311) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 09:12 25 feb 2018 (dif | hist) . . (-1) . . Sistemas (→Sistemas)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).