Las lecturas compartidas en Mastodon el 31 de mayo de 2024 son

• Lecturas compartidas el 30 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Theorema #HOL_Light #Math #ATP #Prover9 #Vampire #TPTP #FunctionalProgramming #Haskell #LogicProgramming #Prolog #AI #LLMs
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si (∀n)[uₙ ≤ vₙ], entonces lim uₙ ≤ lim vₙ". #ITP #Lean4 #IsabelleHOL #Math
• Liquid Haskell through the compilers. ~ Facundo Domínguez. #FunctionalProgramming #LiquidHaskell