Jose A. Alonso

icon indicating a website link https://jaalonso.github.io

icon company Universidad de Sevilla icon location Sevilla (España) icon location Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Results 1 repositories owned by Jose A. Alonso

Lecturas_GLC

62
Stars
8
Forks
Watchers

Readings on computational logic, interactive theorem proving and functional programming.

verified publisher icon jaalonso