JA
José A. Alonso
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: jaalonso.github.io
Sevilla, Spain
250 followers219 following2k posts
Readings shared August 30, 2024. jaalonso.github.io/vestigium/po...#ITP#IsabelleHOL#Agda#Logic#Math#Nix#Haskell#FunctionalProgramming#LogicProgramming
JA
José A. Alonso
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: jaalonso.github.io
Sevilla, Spain
250 followers219 following2k posts