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
• Online historical maths textbooks. #Math