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

• Lecturas compartidas el 23 de junio de 2024. #ITP #Lean4 #IsabelleHOL #Math #FunctionalProgramming #Haskell
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "La equipotencia es una relación transitiva". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Números con dígitos primos. #Haskell #Python #Matemáticas
• Formalising advanced mathematics in Isabelle/HOL. ~ Lawrence Paulson (@LawrPaulson@mathstodon.xyz). #ITP #IsabelleHOL #Math