José A. Alonso
27d
"La felicidad consiste, principalmente, en conformarse con la suerte; es querer ser lo que uno es." ~ Erasmo de Róterdam (1466-1536).
José A. Alonso
18d
"He decidido hacer lo que me gusta porque es bueno para la salud." ~ Voltaire (1694-1778).
José A. Alonso
18d
Readings shared July 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #Rocq
#rocq
#math
#leanprover
#IsabelleHOL
#itp
José A. Alonso
19d
#Exercitium: Problemas de programación con Haskell de marzo de 2020. https://jaalonso.github.io/exercitium/2020/03 #Haskell #ProgramaciónFuncional #Matemáticas
#matematicas
#programacionfuncional
#haskell
#Exercitium
José A. Alonso
19d
Representability and formalization of (distributive quasi) relation algebras. ~ Peter Jipsen. https://iphils.uj.edu.pl/clock/2025/slides/jipsen.pdf #ITP #LeanProver #IsabelleHOL #Rocq #Math
#math
#rocq
#IsabelleHOL
#leanprover
#itp
José A. Alonso
19d
#MULCIA: Postdoc in AI (including logic), University of Bergen (Norway). https://tinyurl.com/2237r8xo #PostDoc #CompSci #AI
#ai
#compsci
#postdoc
#MULCIA
Welcome to José A. Alonso spacestr profile!
About Me
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Interests
- No interests listed.
Videos
Music
My store is coming soon!
