About José A. Alonso

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

Lists

Timeline

Jose_A_Alonso has no activity yet