Profile
José A. Alonso
jalonso.eurosky.social
did:plc:nogtf77xcyjilq52agusqrjx
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain