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

• Lecturas compartidas el 2 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Coq #Math #CategoryTheory #FunctionalProgramming #Haskell #Python
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Las clases de equivalencia de elementos no relacionados son disjuntas". #ITP #Lean4 #IsabelleHOL #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "El conjunto de las clases de equivalencia es una partición". #ITP #Lean4 #IsabelleHOL #Math