Contribuciones del usuario
Para Mjoseh (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 11:31 20 feb 2015 (dif | hist) . . (-183) . . Documentación (→Bibliotecas de ejemplos de verificación)
- 11:28 20 feb 2015 (dif | hist) . . (-28) . . Documentación (→Cursos relacionados)
- 11:27 20 feb 2015 (dif | hist) . . (-1) . . Documentación (→Cursos con Isabelle/HOL)
- 11:26 20 feb 2015 (dif | hist) . . (-2525) . . Documentación (→Cursos con Isabelle/HOL)
- 11:11 20 feb 2015 (dif | hist) . . (+9) . . Documentación
- 11:10 20 feb 2015 (dif | hist) . . (-115) . . Documentación (→Referencias sobre Isabelle/HOL)
- 11:08 20 feb 2015 (dif | hist) . . (-1158) . . Documentación (→Visiones generales)
- 10:31 20 feb 2015 (dif | hist) . . (+17) . . Temas
- 10:28 20 feb 2015 (dif | hist) . . (+559) . . Temas
- 23:43 19 feb 2015 (dif | hist) . . (+316) . . Temas
- 23:41 19 feb 2015 (dif | hist) . . (+108) . . Temas
- 21:48 19 feb 2015 (dif | hist) . . (-129) . . Documentación
- 21:28 19 feb 2015 (dif | hist) . . (+1) . . Documentación
- 21:26 19 feb 2015 (dif | hist) . . (+66) . . N Temas (Página creada con '== Temas de ''Demostración automática de teoremas (2014-15)'' ==')
- 21:24 19 feb 2015 (dif | hist) . . (+250) . . N Ejercicios (Página creada con '== Relaciones de ejercicios == === Relaciones de ejercicios propuestos === En esta sección se publicarán las relaciones de ejercicios. Las soluciones se escriben de forma co...')
- 21:03 19 feb 2015 (dif | hist) . . (+227) . . N Sistemas (Página creada con '== Sistemas utilizados en ''Demostración automática de teoremas (2014-15)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www...') (edición actual)
- 21:02 19 feb 2015 (dif | hist) . . (-401) . . Documentación
- 20:59 19 feb 2015 (dif | hist) . . (+19 860) . . N Documentación (Página creada con 'En esta página se recogen en enlaces que sirven de documentación al curso de Demostración automática de teoremas (DAT). == Visiones generales == # J. Avigad. [http://www.a...')
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).