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

• Lecturas compartidas el 25 de junio de 2024. #ITP #Agda #Coq #HOL #HOL_Light #IsabelleHOL #Lean4 #Metamath #Math #Haskell #Python #Algorithms #AI #MachineLearning
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La igualdad de valores es una relación de equivalencia". #ITP #Lean4 #IsabelleHOL #Math
• Products with unordered n-tuples. ~ Brent Yorgey (@byorgey@mathstodon.xyz). #FunctionalProgramming #Haskell