Jose A. Alonso's repositories
Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
Examenes_de_PF_con_Haskell
Exámenes de programación funcional con Haskell
Pensamientos
Recopilación de pensamientos.
Libros_de_Logica
Recopilación de libros de lógica
Logica_con_Lean
Introducción a la lógica con Lean.
Matematicas_en_Lean
Matemáticas en Lean
Calculemus2
Ejercicios de demostración con Lean4 e Isabelle/HOL.
Ejercicios-Python
Ejercicios de programación con Python
Exercitium
Ejercicios de programación funcional con Haskell
I1M-Cod-Temas
Código Haskell de los temas del curso de I1M (Informática de 1º de Matemática).
I1M-Ejercicios-Haskell
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.
Exercitium-Python
Soluciones de los problemas de Exercitium con Python
Calculemus
Ejercicios de demostración con Lean e Isabelle/HOL.
Demostraciones-con-Lean
Demostraciones con Lean
Explorando-con-Lean
Explorando formalizaciones con Lean
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
Trabajos-MULCIA
Ofertas de trabajo de interés para el MULCIA
Cantos-de-poetas
Canciones de poetas.
Exercitium-Haskell-Python
Ejercicios de programación con Haskell y Python.
jaalonso.github.io
Índice de repositorios.
Jardin_digital
El jardín digital es una colección de breves notas escritas con org-roam.
Matematicas_preuniversitarias
Demostraciones en libros de textos de matemáticas preuniversitaria