["Te",["Tema 10: Caso de estudio: Compilaci\u00f3n de expresiones","Tema 11: Definiciones inductivas","Tema 12: Conjuntos, funciones y relaciones","Tema 1: Programaci\u00f3n funcional en Isabelle","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 2b: Razonamiento autom\u00e1tico sobre programas en Isabelle/HOL","Tema 3: Datos estructurados en Coq","Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL","Tema 4: Polimorfismo y funciones de orden superior en Coq"],["","","","","","","","","",""],["https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_10:_Caso_de_estudio:_Compilaci%C3%B3n_de_expresiones","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_11:_Definiciones_inductivas","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_12:_Conjuntos,_funciones_y_relaciones","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_1:_Programaci%C3%B3n_funcional_en_Isabelle","https://www.glc.us.es/~jalonso/RA2018/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/RA2018/index.php/Tema_2:_Demostraciones_por_inducci%C3%B3n_sobre_los_n%C3%BAmeros_naturales_en_Coq","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_2b:_Razonamiento_autom%C3%A1tico_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_3:_Datos_estructurados_en_Coq","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_3:_Razonamiento_estructurado_sobre_programas_en_Isabelle/HOL","https://www.glc.us.es/~jalonso/RA2018/index.php/Tema_4:_Polimorfismo_y_funciones_de_orden_superior_en_Coq"]]