Lecturas compartidas el 9 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CategoryTheory
Buenos días
Las lecturas compartidas en Mastodon el 9 de mayo de 2024 son
Lecturas compartidas el 8 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #HOL_Light #Coq #HOL4 #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si M es un monoide cancelativo por la izquierda y a, b ∈ M, entonces a⋅b = a ↔ b = 1". #ITP #Lean4 #IsabelleHOL #Math
#Exercitium: Posiciones de las diagonales principales. #Haskell #Python #Matemáticas
Compiling higher order functions with GADTs. ~ Srijan (@_injuly). #FunctionalProgramming #Haskell
When are functions lazy enough for lists. ~ Daniel Beskin. #FunctionalProgramming #Haskell
Notes on Category Theory (with examples from basic mathematics). ~ Paolo Perrone. #CategoryTheory
También están en GitHub.
Saludos, José A.
"Sé un libre pensador y no aceptes todo lo que oyes como verdad. Sé crítico y evalúa lo que crees." ~ Aristóteles (-384, -322).
