4
Repos
78
Stars
8
Forks
78
Watchers
Repositories (4)
Lecturas_GLC
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
74
8
Intro-HaskellForMaths
jaalonso/Intro-HaskellForMaths
Haskell
Introducción a HaskellForMaths
4
0
Cursos_de_RA
jaalonso/Cursos_de_RA
Recopilación de cursos de razonamiento automático.
0
0
Cursos_de_programacion
jaalonso/Cursos_de_programacion
Recopilación cursos de programación con lenguajes distintos de Haskell, OCaml y Prolog que tienen sus páginas específicas.
0
0