Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 19:30 8 feb 2022 (dif | hist) . . (-162) . . Sistemas (→Editores de pruebas por secuentes) (edición actual)
- 19:29 8 feb 2022 (dif | hist) . . (-108) . . Sistemas (→Editores de pruebas por deducción natural)
- 19:29 8 feb 2022 (dif | hist) . . (-79) . . Sistemas (→Editores de pruebas por deducción natural)
- 19:24 8 feb 2022 (dif | hist) . . (+123) . . Documentación (edición actual)
- 15:51 26 oct 2019 (dif | hist) . . (-103) . . Documentación (→Visiones generales de la DAO)
- 15:48 26 oct 2019 (dif | hist) . . (-144) . . Documentación (→Visiones generales de la DAO)
- 11:38 21 ago 2019 (dif | hist) . . (-727) . . Ejercicios (edición actual)
- 11:43 31 may 2019 (dif | hist) . . (-31) . . Documentación (→Ofertas de trabajo)
- 20:51 6 mar 2019 (dif | hist) . . (0) . . m Relación 8 (Protegió «Relación 8» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:50 6 mar 2019 (dif | hist) . . (0) . . m Relación 7 (Protegió «Relación 7» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:50 6 mar 2019 (dif | hist) . . (0) . . m Relación 6 (Protegió «Relación 6» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:50 6 mar 2019 (dif | hist) . . (0) . . m Relación 5 (Protegió «Relación 5» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:49 6 mar 2019 (dif | hist) . . (0) . . m Relación 4 (Protegió «Relación 4» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:49 6 mar 2019 (dif | hist) . . (0) . . m Relación 3 (Protegió «Relación 3» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:48 6 mar 2019 (dif | hist) . . (0) . . m Relación 2 (Protegió «Relación 2» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 20:48 6 mar 2019 (dif | hist) . . (0) . . m Relación 1 (Protegió «Relación 1» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 19:22 4 mar 2019 (dif | hist) . . (-28 861) . . Relación 7
- 17:52 28 feb 2019 (dif | hist) . . (-4) . . Relación 8
- 17:52 28 feb 2019 (dif | hist) . . (+851) . . Relación 8
- 15:13 28 feb 2019 (dif | hist) . . (-4) . . Relación 7
- 15:12 28 feb 2019 (dif | hist) . . (+28 124) . . Relación 7
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 6
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 5
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 4
- 15:04 28 feb 2019 (dif | hist) . . (-4) . . Relación 3
- 15:03 28 feb 2019 (dif | hist) . . (-4) . . Relación 2
- 15:03 28 feb 2019 (dif | hist) . . (-4) . . Relación 1
- 14:57 28 feb 2019 (dif | hist) . . (+280) . . Relación 6
- 14:40 28 feb 2019 (dif | hist) . . (+107) . . Relación 5
- 13:04 28 feb 2019 (dif | hist) . . (+45) . . Relación 4
- 12:56 28 feb 2019 (dif | hist) . . (+32) . . Relación 3
- 12:51 28 feb 2019 (dif | hist) . . (+5) . . Relación 2
- 12:48 28 feb 2019 (dif | hist) . . (+23) . . Relación 1
- 15:21 14 feb 2019 (dif | hist) . . (+151) . . Documentación (→Otros cursos)
- 15:20 14 feb 2019 (dif | hist) . . (+121) . . Documentación (→Cursos con Coq)
- 15:19 14 feb 2019 (dif | hist) . . (+156) . . Documentación (→Cursos con Coq)
- 15:16 14 feb 2019 (dif | hist) . . (+271) . . Documentación
- 15:08 14 feb 2019 (dif | hist) . . (0) . . m Tema 6: Lógica en Coq (Protegió «Tema 6: Lógica en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 15:08 14 feb 2019 (dif | hist) . . (0) . . m Tema 7: Definiciones inductivas en Coq (Protegió «Tema 7: Definiciones inductivas en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 15:08 14 feb 2019 (dif | hist) . . (+18 128) . . N Tema 7: Definiciones inductivas en Coq (Página creada con «<source lang="coq"> (* T7: Proposiciones definidas inductivamente *) Set Warnings "-notation-overridden,-parsing". Require Export T6_Logica. Require Coq.omega.Omega. (* E…»)
- 15:07 14 feb 2019 (dif | hist) . . (+46) . . Temas (edición actual)
- 14:46 14 feb 2019 (dif | hist) . . (+80 060) . . N Tema 6: Lógica en Coq (Página creada con «<source lang="coq"> Set Warnings "-notation-overridden,-parsing". Require Export T5_Tacticas. (* El contenido del tema es 1. Introducción 2. Conectivas lógicas…»)
- 14:46 14 feb 2019 (dif | hist) . . (+30) . . Temas
- 09:37 14 feb 2019 (dif | hist) . . (0) . . m Tema 11: Definiciones inductivas (Protegió «Tema 11: Definiciones inductivas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:37 14 feb 2019 (dif | hist) . . (0) . . m Tema 12: Conjuntos, funciones y relaciones (Protegió «Tema 12: Conjuntos, funciones y relaciones» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:37 14 feb 2019 (dif | hist) . . (0) . . m Tema 5: Tácticas básicas de Coq (Protegió «Tema 5: Tácticas básicas de Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:36 14 feb 2019 (dif | hist) . . (0) . . m Tema 4: Polimorfismo y funciones de orden superior en Coq (Protegió «Tema 4: Polimorfismo y funciones de orden superior en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:36 14 feb 2019 (dif | hist) . . (0) . . m Tema 3: Datos estructurados en Coq (Protegió «Tema 3: Datos estructurados en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:36 14 feb 2019 (dif | hist) . . (0) . . m Tema 2: Demostraciones por inducción sobre los números naturales en Coq (Protegió «Tema 2: Demostraciones por inducción sobre los números naturales en Coq» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido))) (edición actual)
- 09:35 14 feb 2019 (dif | hist) . . (0) . . m Temas (Protegió «Temas» ([Editar=Solo administradores] (indefinido) [Trasladar=Solo administradores] (indefinido)))
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).