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