Lecturas compartidas el 23 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Math #AI
Buenos días
Las lecturas compartidas en Mastodon el 23 de mayo de 2024 son
Lecturas compartidas el 22 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si `f(x) ≤ f(y) → x ≤ y`, entonces f es inyectiva". #ITP #Lean4 #IsabelleHOL #Math
VOLPIC: Verifying lifted Pascal in Coq. ~ Charles Averill. #ITP #Coq
The Haskell Unfolder Episode 26: Variable-arity functions. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
Why mathematics is set to be revolutionized by AI. ~ Thomas Fink. #Math #AI
También están en GitHub.
Saludos, José A.
"Más daña el decaimiento del ánimo que el del cuerpo." ~ Baltasar Gracián (1601-1658).
