jaalonso/Lecturas_GLC jaalonso/Lecturas_GLC

  • Stars
    star
    66
  • Rank 468,167 (Top 10 %)
  • Language
  • License
    GNU General Publi...
  • Created almost 8 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaalonso/Lecturas_GLC
github

jaalonso

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

Pensamientos

Recopilaci贸n de pensamientos.
9
star
2

Examenes_de_PF_con_Haskell

Ex谩menes de programaci贸n funcional con Haskell
9
star
3

Categorias_y_programacion

Bibliograf铆a sobre teor铆a de categor铆as y programaci贸n funcional
6
star
4

Libros_de_Logica

Recopilaci贸n de libros de l贸gica
5
star
5

Logica_con_Lean

Introducci贸n a la l贸gica con Lean.
Lean
4
star
6

PC-Haskell

Programaci贸n competitiva con Haskell
Haskell
4
star
7

I1M

C贸digo Haskell usado en el curso de I1M (Inform谩tica de 1潞 de Matem谩tica)
HTML
4
star
8

Matematicas_en_Lean

Matem谩ticas en Lean
Lean
4
star
9

Intro-HaskellForMaths

Introducci贸n a HaskellForMaths
Haskell
4
star
10

Recopilaciones

Recopilaciones de cursos y ofertas de trabajo
4
star
11

FormulasYpolinomios

Sistema certificado de decisi贸n proposicional basado en polinomios.
Haskell
3
star
12

Piensa-en-Haskell-y-en-Python

Ejercicios de programaci贸n con Haskell y con Python
TeX
3
star
13

Exercitium1

Ejercicios de programaci贸n funcional con Haskell del blog Exercitium (Volumen 1).
Haskell
3
star
14

Exercitium

Ejercicios de programaci贸n funcional con Haskell
Haskell
3
star
15

I1M-Cod-Temas

C贸digo Haskell de los temas del curso de I1M (Inform谩tica de 1潞 de Matem谩tica).
Haskell
3
star
16

Quotes

Quotes on Mathematics and Computer Science.
3
star
17

I1M-Ejercicios-Haskell

Ejercicios de programaci贸n funcional con Haskell.
Haskell
3
star
18

Temas_interactivos_de_PF_con_Haskell

Temas interactivos de programaci贸n funcional con Haskell.
Jupyter Notebook
3
star
19

Ejercicios-Python

Ejercicios de programaci贸n con Python
Python
3
star
20

Calculemus2

Ejercicios de demostraci贸n con Lean4 e Isabelle/HOL.
Lean
3
star
21

Exercitium2018

Ejercicios de programaci贸n funcional con Haskell (Curso 2018-19)
Haskell
2
star
22

RA20116

Curso de "Razonamiento autom谩tico"
Isabelle
2
star
23

Examenes_de_PF_con_Haskell_Vol11

Ex谩menes de programaci贸n funcional con Haskell. Vol. 11 (Curso 2019-20)
Haskell
2
star
24

Exercitium2013

Ejercicios de programaci贸n funcional con Haskell (Curso 2013-14)
Haskell
2
star
25

Exercitium-Python

Soluciones de los problemas de Exercitium con Python
Python
2
star
26

Trabajos-MULCIA

Ofertas de trabajo de inter茅s para el MULCIA
2
star
27

Cursos_de_PF_con_Haskell

Recopilaci贸n de cursos de programaci贸n funcional con Haskell.
2
star
28

Examenes_de_PF_con_Haskell_Vol7

Ex谩menes de programaci贸n funcional con Haskell. Vol. 7 (Curso 2015-16)
Haskell
1
star
29

Razonando-con-Lean

Elaboraci贸n de demostraciones con Lean.
Lean
1
star
30

Matematicas_en_Lean4

Matem谩ticas en Lean4
Lean
1
star
31

Calculemus

Ejercicios de demostraci贸n con Lean e Isabelle/HOL.
Lean
1
star
32

Ejercicios-Prolog

Ejercicios de programaci贸n l贸gica con Prolog
Prolog
1
star
33

Musica-de-Bach

M煤sica de Johann Sebastian Bach
1
star
34

Explorando-con-Lean

Explorando formalizaciones con Lean
Lean
1
star
35

Examenes_de_PF_con_Haskell_Vol4

Ex谩menes de programaci贸n funcional con Haskell. Vol. 4 (Curso 2012-13)
Haskell
1
star
36

Examenes_de_PF_con_Haskell_Vol3

Ex谩menes de programaci贸n funcional con Haskell. Vol. 3 (Curso 2011-12)
Haskell
1
star
37

SLP

Sem谩nticas de lenguajes de programaci贸n formalizadas en Isabelle/HOL
Isabelle
1
star
38

Logica-en-Haskell

Desarrollo de la l贸gica con Haskell.
Haskell
1
star
39

Examenes_de_PF_con_Haskell_Vol2

Ex谩menes de programaci贸n funcional con Haskell. Vol. 2 (Curso 2010-11)
Haskell
1
star
40

GraficasEnIHaskell

Representaci贸n de gr谩ficas con GNUplot en IHaskell.
Jupyter Notebook
1
star
41

Examenes_de_PF_con_Haskell_Vol5

Ex谩menes de programaci贸n funcional con Haskell. Vol. 5 (Curso 2013-14)
Haskell
1
star
42

Examenes_de_PF_con_Haskell_Vol10

Ex谩menes de programaci贸n funcional con Haskell. Vol. 10 (Curso 2018-19)
Haskell
1
star
43

Examenes_de_PF_con_Haskell_Vol1

Ex谩menes de programaci贸n funcional con Haskell. Vol. 1 (Curso 2009-10)
Haskell
1
star
44

Examenes_de_PF_con_Haskell_Vol9

Ex谩menes de programaci贸n funcional con Haskell. Vol. 9 (Curso 2017-18)
Haskell
1
star
45

Demostraciones-con-Lean

Demostraciones con Lean
Lean
1
star
46

Examenes_de_PF_con_Haskell_Vol6

Ex谩menes de programaci贸n funcional con Haskell. Vol. 6 (Curso 2014-15)
Haskell
1
star
47

Examenes_de_PF_con_Haskell_Vol8

Ex谩menes de programaci贸n funcional con Haskell. Vol. 8 (Curso 2016-17)
Haskell
1
star
48

ParaGabriel

Exercises in formalizing mathematics with Lean 4
Lean
1
star
49

Formalizacion_de_las_matematicas_en_Lean

Formalizaci贸n de las matem谩ticas en Lean
Lean
1
star
50

LogicaProgramacionDemostracion

L贸gica (con deducci贸n natural), programaci贸n (con Haskell) y demostraci贸n (con Lean).
Lean
1
star