No posts to display
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!
