Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 17:03 27 jul 2018 (dif | hist) . . (+51) . . N MediaWiki:Mainpage (Página creada con «DAO (demostración asistida por ordenador) con Coq.»)
- 15:33 27 jul 2018 (dif | hist) . . (0) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Teoría)
- 15:32 27 jul 2018 (dif | hist) . . (0) . . N Archivo:T1 PF en Coq.v
- 15:32 27 jul 2018 (dif | hist) . . (+15) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Teoría)
- 14:14 27 jul 2018 (dif | hist) . . (+2) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Referencias)
- 14:13 27 jul 2018 (dif | hist) . . (+87) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 14:08 27 jul 2018 (dif | hist) . . (+6) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 14:06 27 jul 2018 (dif | hist) . . (+581) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 09:39 27 jul 2018 (dif | hist) . . (+62) . . N DAO con Coq:Acerca de (Página creada con «Apuntes de DAO (demostración asistida por ordenador) con Coq.») (edición actual)
- 09:38 27 jul 2018 (dif | hist) . . (+62) . . N Acerca de (Página creada con «Apuntes de DAO (demostración asistida por ordenador) con Coq.») (edición actual)
- 09:15 27 jul 2018 (dif | hist) . . (-224) . . MediaWiki:Sidebar (edición actual)
- 09:14 27 jul 2018 (dif | hist) . . (+110) . . MediaWiki:Sidebar
- 09:12 27 jul 2018 (dif | hist) . . (0) . . MediaWiki:Sidebar
- 09:11 27 jul 2018 (dif | hist) . . (+79) . . MediaWiki:Sidebar
- 09:08 27 jul 2018 (dif | hist) . . (+193) . . N MediaWiki:Sidebar (Página creada con « * navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|help * Temas ** Programación funcional * SEARCH…»)
- 09:06 27 jul 2018 (dif | hist) . . (+6) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 09:04 27 jul 2018 (dif | hist) . . (+36 997) . . N Tema 1: Programación funcional y métodos elementales de demostración en Coq (Página creada con «<pre lang="coq"> (* T1: Programación funcional y métodos elementales de demostración en Coq *) (* =====================================================================…»)
- 09:03 27 jul 2018 (dif | hist) . . (-39) . . Página principal
- 08:58 27 jul 2018 (dif | hist) . . (-55) . . Página principal
- 08:56 27 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).