Jose A. Alonso's repositories
Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
Pensamientos
Recopilación de pensamientos.
Examenes_de_PF_con_Haskell
Exámenes de programación funcional con Haskell
Calculemus2
Proof exercises in Lean4 and Isabelle/HOL
I1M-Ejercicios-Haskell
Ejercicios de programación funcional con Haskell.
Libros_de_Logica
Recopilación de libros de lógica
Logica_con_Lean
Introducción a la lógica con Lean.
Ejercicios-Python
Ejercicios de programación con Python
I1M-Cod-Temas
Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).
Matematicas_en_Lean
Matemáticas en Lean
Exercitium
Ejercicios de programación funcional con Haskell
Piensa-en-Haskell-y-en-Python
Ejercicios de programación con Haskell y con Python
Temas_interactivos_de_PF_con_Haskell
Temas interactivos de programación funcional con Haskell.
Calculemus2_es
Ejercicios de demostración con Lean4 e Isabelle/HOL.
Exercitium-Python
Soluciones de los problemas de Exercitium con Python
Trabajos-MULCIA
Ofertas de trabajo de interés para el MULCIA
Calculemus
Ejercicios de demostración con Lean e Isabelle/HOL.
jaalonso.github.io
Índice de repositorios.
LogicaProgramacionDemostracion
Lógica (con deducción natural), programación (con Haskell) y demostración (con Lean).
Matematicas_en_Lean4
Matemáticas en Lean4
Musica-de-Bach
Música de Johann Sebastian Bach
Cantos-de-poetas
Canciones de poetas.
Exercitium-Haskell-Python
Ejercicios de programación con Haskell y Python.
Exercitium-Lisp
Soluciones de los problemas de Exercitium con Common Lisp
ExFormMathL4
Ejercicios de formalización de matemáticas con Lean4
Matematicas_preuniversitarias
Demostraciones en libros de textos de matemáticas preuniversitaria