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

• Lecturas compartidas el 9 de junio de 2024. #ITP #Lean4 #Math #AI
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si g ∘ f es suprayectiva, entonces g es suprayectiva". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Representación de Zeckendorf. #Haskell #Python #Matemáticas
• Formally verified interval arithmetic and its application to program verification. ~ Achim D. Brucker, Teddy Cameron-Burke, Amy Stell. #ITP #IsabelleHOL
• Failing at combinatorics with Haskell. #FunctionalProgramming #Haskell