Contribuciones del usuario
Para WikiSysop (discusión | registro de bloqueos | subidas | registros)- 21:36 21 feb 2018 (dif | hist) . . (+91) . . Sistemas
- 21:32 21 feb 2018 (dif | hist) . . (+169) . . N Sistemas (Página creada con '== Sistemas == * Instalación de Coq 8.6 ** [https://github.com/coq/coq/wiki/Installation-of-Coq-on-Linux en Ubuntu]. ** [https://coq.inria.fr/coq-86 en Eindows o Mac].')
- 21:20 21 feb 2018 (dif | hist) . . (+21) . . MediaWiki:Sidebar
- 21:09 21 feb 2018 (dif | hist) . . (+119) . . Temas (→Temas de Seminario de lógica computacional (2018))
- 21:06 21 feb 2018 (dif | hist) . . (+236) . . N Documentación (Página creada con '== Documentación == * [https://softwarefoundations.cis.upenn.edu/lf-current/index.html Software foundations (Volume 1: Logical foundations)] * [http://www.seas.upenn.edu/~cis5...')
- 21:01 21 feb 2018 (dif | hist) . . (+5883) . . N Relación 1 (Página creada con '<source lang="ocaml"> (* Relación 1: Programación funcional en Coq *) Require Export Basics. Definition admit {T: Type} : T. Admitted. (* ---------------------------------...')
- 21:00 21 feb 2018 (dif | hist) . . (0) . . m R1 (Protegió «R1» ([edit=sysop] (indefinido) [move=sysop] (indefinido)))
- 20:59 21 feb 2018 (dif | hist) . . (+2) . . R1
- 20:59 21 feb 2018 (dif | hist) . . (+5881) . . N R1 (Página creada con '<source lang="coq"> (* Relación 1: Programación funcional en Coq *) Require Export Basics. Definition admit {T: Type} : T. Admitted. (* -----------------------------------...')
- 20:53 21 feb 2018 (dif | hist) . . (+368) . . 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...')
- 20:38 21 feb 2018 (dif | hist) . . (+137) . . N Temas (Página creada con '== Temas de ''Seminario de lógica computacional (2018)'' == En esta página se irán publicando los temas conforme se vayan estudiando.')
- 20:36 21 feb 2018 (dif | hist) . . (+1) . . MediaWiki:Sidebar
- 20:36 21 feb 2018 (dif | hist) . . (+295) . . N Seminario de Lógica Computacional (2018):Seminario de Lógica Computacional (2018) (Página creada con '== Material para el seminario == * Temas: Teorías de los temas. * Ejercicios: Relaciones de ejercicios. * Documentación: Lecturas recomendadas. * Sistemas: Sis...')
- 20:32 21 feb 2018 (dif | hist) . . (+50) . . N MediaWiki:Mainpage (Página creada con 'SLC2018: Seminario de Lógica Computacional (2018)') (edición actual)
- 20:30 21 feb 2018 (dif | hist) . . (+325) . . N MediaWiki:Sidebar (Página creada con '* navigation ** mainpage|mainpage-description ** Temas|Temas ** Ejercicios|Ejercicios ** Documentación|Documentación ** http://www.glc.us.es/~jalonso/vestigium/tag/ra2017|Diar...')