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

• Lecturas compartidas el 22 de junio de 2024. #ITP #IsabelleHOL #Lean4 #LLMs #Math #Reasoning
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La composición de funciones biyectivas es biyectiva". #ITP #Lean4 #IsabelleHOL #Math
• Libro "Calculemus (Demostraciones con Lean4)" (versión 23-junio-24). #ITP #Lean4 #Math
• La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (23-junio-24). #ITP #Lean4 #IsabelleHOL #Math
• Competitive programming in Haskell: sieving with mutable arrays. ~ Brent Yorgey (@byorgey@mathstodon.xyz). #FunctionalProgramming #Haskell