José A. Alonso
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
ID: 243227030
26-01-2011 15:53:24
35,35K Tweet
4,4K Followers
3,3K Following
@jose_a_alonso
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
ID: 243227030
26-01-2011 15:53:24
35,35K Tweet
4,4K Followers
3,3K Following
