José A. Alonso
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwNIP-05 Address
Jose_A_Alonso@mathstodon-xyz.mostr.pubProfile Code
nprofile1qqsqa7mmeyplf3n3dn2dq7ps6dzd02l9kcr6z4k78n0p4sd9hu32u8q5nqtllAuthor Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw