jaalonso/Calculemus2 jaalonso/Calculemus2

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Lean
  • License
    GNU General Publi...
  • Created over 1 year ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jaalonso/Calculemus2
github

jaalonso

Reviews

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

Repository Details

Ejercicios de demostraci贸n con Lean4 e Isabelle/HOL.

More Repositories

1

Lecturas_GLC

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

Pensamientos

Recopilaci贸n de pensamientos.
9
star
3

Examenes_de_PF_con_Haskell

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

Categorias_y_programacion

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

Libros_de_Logica

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

Logica_con_Lean

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

PC-Haskell

Programaci贸n competitiva con Haskell
Haskell
4
star
8

I1M

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

Matematicas_en_Lean

Matem谩ticas en Lean
Lean
4
star
10

Intro-HaskellForMaths

Introducci贸n a HaskellForMaths
Haskell
4
star
11

Recopilaciones

Recopilaciones de cursos y ofertas de trabajo
4
star
12

FormulasYpolinomios

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

Piensa-en-Haskell-y-en-Python

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

Exercitium1

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

Exercitium

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

I1M-Cod-Temas

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

Quotes

Quotes on Mathematics and Computer Science.
3
star
18

I1M-Ejercicios-Haskell

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

Temas_interactivos_de_PF_con_Haskell

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

Ejercicios-Python

Ejercicios de programaci贸n con Python
Python
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