Diferencia entre revisiones de «Sidebar»
De DAO con Coq
(Página creada con « * navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|help * Temas ** Programación funcional * SEARCH…») |
|||
| Línea 6: | Línea 6: | ||
** helppage|help | ** helppage|help | ||
* Temas | * Temas | ||
| − | ** Programación funcional | + | ** Programación funcional|Tema 1: Programación funcional y métodos elementales de demostración en Coq |
* SEARCH | * SEARCH | ||
* TOOLBOX | * TOOLBOX | ||
* LANGUAGES | * LANGUAGES | ||
Revisión del 09:11 27 jul 2018
- navigation
- mainpage|mainpage-description
- recentchanges-url|recentchanges
- randompage-url|randompage
- helppage|help
- Temas
- Programación funcional|Tema 1: Programación funcional y métodos elementales de demostración en Coq
- SEARCH
- TOOLBOX
- LANGUAGES