["Te",["Tema 1: Programaci\u00f3n funcional y m\u00e9todos elementales de demostraci\u00f3n en Coq","Tema 2: Demostraciones por inducci\u00f3n sobre los n\u00fameros naturales en Coq","Tema 3: Datos estructurados en Coq","Tema 4: Polimorfismo y funciones de orden superior en Coq","Tema 5: T\u00e1cticas b\u00e1sicas de Coq","Tema 6: L\u00f3gica en Coq"],["","","","","",""],["https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Tema_1:_Programaci%C3%B3n_funcional_y_m%C3%A9todos_elementales_de_demostraci%C3%B3n_en_Coq","https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Tema_2:_Demostraciones_por_inducci%C3%B3n_sobre_los_n%C3%BAmeros_naturales_en_Coq","https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Tema_3:_Datos_estructurados_en_Coq","https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Tema_4:_Polimorfismo_y_funciones_de_orden_superior_en_Coq","https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Tema_5:_T%C3%A1cticas_b%C3%A1sicas_de_Coq","https://www.glc.us.es/~jalonso/DAOconCoq/index.php/Tema_6:_L%C3%B3gica_en_Coq"]]