Las lecturas compartidas en Mastodon el 19 de junio de 2024 son

• Lecturas compartidas el 18 de junio de 2024. #ITP #IsabelleHOL #Math #ATP #SAT #Math #LogicProgramming #Prolog #AI #LLMs #Programming
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las funciones biyectivas tienen inversa". #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La equipotencia es una relación reflexiva". #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La inversa de una función es biyectiva". #ITP #Lean4 #IsabelleHOL #Math
• Exploring advanced functional programming techniques in Haskell: Monads, functors, and applicatives. ~ Omid Farhang (@omid@floss.social). #FunctionalProgramming #Haskell
• miniCodeProps: A minimal benchmark for proving code properties. ~ Evan Lohn, Sean Welleck. #LLMs #ITP #Lean4 #FunctionalProgramming #Haskell