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