-
Stars2
-
Language Isabelle
-
License
GNU General Publi... -
Created almost 8 years ago
-
Updated about 2 years ago
Reviews
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
More Repositories
Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.Pensamientos
Recopilaci贸n de pensamientos.Examenes_de_PF_con_Haskell
Ex谩menes de programaci贸n funcional con HaskellCategorias_y_programacion
Bibliograf铆a sobre teor铆a de categor铆as y programaci贸n funcionalLibros_de_Logica
Recopilaci贸n de libros de l贸gicaLogica_con_Lean
Introducci贸n a la l贸gica con Lean.PC-Haskell
Programaci贸n competitiva con HaskellI1M
C贸digo Haskell usado en el curso de I1M (Inform谩tica de 1潞 de Matem谩tica)Matematicas_en_Lean
Matem谩ticas en LeanIntro-HaskellForMaths
Introducci贸n a HaskellForMathsRecopilaciones
Recopilaciones de cursos y ofertas de trabajoFormulasYpolinomios
Sistema certificado de decisi贸n proposicional basado en polinomios.Piensa-en-Haskell-y-en-Python
Ejercicios de programaci贸n con Haskell y con PythonExercitium1
Ejercicios de programaci贸n funcional con Haskell del blog Exercitium (Volumen 1).Exercitium
Ejercicios de programaci贸n funcional con HaskellI1M-Cod-Temas
C贸digo Haskell de los temas del curso de I1M (Inform谩tica de 1潞 de Matem谩tica).Quotes
Quotes on Mathematics and Computer Science.I1M-Ejercicios-Haskell
Ejercicios de programaci贸n funcional con Haskell.Temas_interactivos_de_PF_con_Haskell
Temas interactivos de programaci贸n funcional con Haskell.Ejercicios-Python
Ejercicios de programaci贸n con PythonCalculemus2
Ejercicios de demostraci贸n con Lean4 e Isabelle/HOL.Exercitium2018
Ejercicios de programaci贸n funcional con Haskell (Curso 2018-19)Examenes_de_PF_con_Haskell_Vol11
Ex谩menes de programaci贸n funcional con Haskell. Vol. 11 (Curso 2019-20)Exercitium2013
Ejercicios de programaci贸n funcional con Haskell (Curso 2013-14)Exercitium-Python
Soluciones de los problemas de Exercitium con PythonTrabajos-MULCIA
Ofertas de trabajo de inter茅s para el MULCIACursos_de_PF_con_Haskell
Recopilaci贸n de cursos de programaci贸n funcional con Haskell.Examenes_de_PF_con_Haskell_Vol7
Ex谩menes de programaci贸n funcional con Haskell. Vol. 7 (Curso 2015-16)Razonando-con-Lean
Elaboraci贸n de demostraciones con Lean.Matematicas_en_Lean4
Matem谩ticas en Lean4Calculemus
Ejercicios de demostraci贸n con Lean e Isabelle/HOL.Ejercicios-Prolog
Ejercicios de programaci贸n l贸gica con PrologMusica-de-Bach
M煤sica de Johann Sebastian BachExplorando-con-Lean
Explorando formalizaciones con LeanExamenes_de_PF_con_Haskell_Vol4
Ex谩menes de programaci贸n funcional con Haskell. Vol. 4 (Curso 2012-13)Examenes_de_PF_con_Haskell_Vol3
Ex谩menes de programaci贸n funcional con Haskell. Vol. 3 (Curso 2011-12)SLP
Sem谩nticas de lenguajes de programaci贸n formalizadas en Isabelle/HOLLogica-en-Haskell
Desarrollo de la l贸gica con Haskell.Examenes_de_PF_con_Haskell_Vol2
Ex谩menes de programaci贸n funcional con Haskell. Vol. 2 (Curso 2010-11)GraficasEnIHaskell
Representaci贸n de gr谩ficas con GNUplot en IHaskell.Examenes_de_PF_con_Haskell_Vol5
Ex谩menes de programaci贸n funcional con Haskell. Vol. 5 (Curso 2013-14)Examenes_de_PF_con_Haskell_Vol10
Ex谩menes de programaci贸n funcional con Haskell. Vol. 10 (Curso 2018-19)Examenes_de_PF_con_Haskell_Vol1
Ex谩menes de programaci贸n funcional con Haskell. Vol. 1 (Curso 2009-10)Examenes_de_PF_con_Haskell_Vol9
Ex谩menes de programaci贸n funcional con Haskell. Vol. 9 (Curso 2017-18)Demostraciones-con-Lean
Demostraciones con LeanExamenes_de_PF_con_Haskell_Vol6
Ex谩menes de programaci贸n funcional con Haskell. Vol. 6 (Curso 2014-15)Examenes_de_PF_con_Haskell_Vol8
Ex谩menes de programaci贸n funcional con Haskell. Vol. 8 (Curso 2016-17)Formalizacion_de_las_matematicas_en_Lean
Formalizaci贸n de las matem谩ticas en LeanLogicaProgramacionDemostracion
L贸gica (con deducci贸n natural), programaci贸n (con Haskell) y demostraci贸n (con Lean).