José A. Alonso
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Website: https://jaalonso.github.io/
Twitter: https://twitter.com/Jose_A_Alonso
Blog: https://www.glc.us.es/~jalonso/vestigium/
GitHub: https://github.com/jaalonso
Website: https://jaalonso.github.io/
Twitter: https://twitter.com/Jose_A_Alonso
Blog: https://www.glc.us.es/~jalonso/vestigium/
GitHub: https://github.com/jaalonso
Public Key
npub1ryjqkfye2wr4anezdqvegv50h8u6cz3szd65y2kkfltgsx6z386smsl943NIP-05 Address
jose_a_alonso_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqspjfqtyjv48p67eu3xsxv5x28mn7dvpgcpxa2z9ttyl45grdpgnagppamhxue69uhkummnw3ezumn0wuq3gamnwvaz7tmjv4kxz7fwv3sk6atn9e5k7ljvvsyAuthor Public Key
npub1ryjqkfye2wr4anezdqvegv50h8u6cz3szd65y2kkfltgsx6z386smsl943