CIRCLE WITH A DOT

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

jose_a_alonso@mathstodon.xyz

@jose_a_alonso@mathstodon.xyz

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

Reputation 0

Profile views 1

Joined

Last Online

Website jaalonso.github.io/

Twitter twitter.com/Jose_A_Alonso

Blog www.glc.us.es/~jalonso/vestigium/

GitHub github.com/jaalonso