Las lecturas compartidas en Mastodon el 4 de julio de 2024 son

• Lecturas compartidas el 3 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las particiones definen relaciones reflexivas". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Número de divisores. #Haskell #Python #Matemáticas
• Lean: First steps. #ITP #Lean4 #Math
• TheoremLlama: Transforming general-purpose LLMs into Lean4 experts. ~ Ruida Wang et als. #ITP #Lean4 #LLMs
• The Haskell Unfolder Episode 28: Type families and overlapping instances. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming