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

• Lecturas compartidas el 1 de julio de 2024. #ITP #IsabelleHOL #Lean4 #Math #AI #MachineLearning #DeepLearning
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las clases de equivalencia de elementos relacionados son iguales". #ITP #Lean4 #IsabelleHOL #Math
• Extending Isabelle/HOL's code generator with support for the Go programming language. ~ Terru Stübinger, Lars Hupel. #ITP #IsabelleHOL
• A comprehensive overview of the Lebesgue differentiation theorem in Coq. ~ Reynald Affeldt, Zachary Stone. #ITP #Coq #Math
• This month in Mathlib (May 2024). #ITP #Lean4 #Mathlib #Math
• Folding in parallel. ~ Oleg Kiselyov. #FunctionalProgramming #Haskell
• Python's built-in functions: A complete exploration. ~ Leodanis Pozo Ramos. #Python #Programming
• Introducing category theory. ~ Peter Smith (@PeterSmith@mathstodon.xyz). #CategoryTheory