EduPH

Universidad Loyola (Andalucía)Sevilla, España.

Pinned Repositories

Apuntes-IA
Apuntes sobre Inteligencia artificial
11
cdk-paper-3
Repository with the Latex source code for the CDK III paper.
Language:TeX0 1 00
concrete-semantics-Sols
My solutions to concrete semantics
Language:Isabelle11 2 12
eduph.github.io
Edu's blog
Language:SCSS0 1 00
Lecturas
Recolección de artículos y enlaces de interés
0 2 00
LPOenH
Lógica de primer orden en Haskell literario
Language:Haskell2 2 00
ModelosComputacionales
Implementación de modelos computacionales en Haskell.
Language:Haskell1 2 00
Problemas
Solutions to some Kattis problems
Language:HTML0 2 00
ryacas
Ryacas: R Interface to the Yacas Computer Algebra System
Language:C++00
Teoria-Matematica
Recolección de teoría, teoremas y demostraciones
Language:TeX1 2 00

EduPH's Repositories

EduPH/concrete-semantics-Sols
My solutions to concrete semantics
Language:Isabelle11 2 12
EduPH/LPOenH
Lógica de primer orden en Haskell literario
Language:Haskell2 2 00
EduPH/Apuntes-IA
Apuntes sobre Inteligencia artificial
11
EduPH/ModelosComputacionales
Implementación de modelos computacionales en Haskell.
Language:Haskell1 2 00
EduPH/Teoria-Matematica
Recolección de teoría, teoremas y demostraciones
Language:TeX1 2 00
EduPH/cdk-paper-3
Repository with the Latex source code for the CDK III paper.
Language:TeX0 1 00
EduPH/eduph.github.io
Edu's blog
Language:SCSS0 1 00
EduPH/Lecturas
Recolección de artículos y enlaces de interés
0 2 00
EduPH/Problemas
Solutions to some Kattis problems
Language:HTML0 2 00
EduPH/ryacas
Ryacas: R Interface to the Yacas Computer Algebra System
Language:C++00