Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Jose A. Alonso
jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.
Universidad de Sevilla Sevilla (España)