The readings shared in Bluesky on 30 July 2025 are

• Universal pairs for diophantine equations (in Isabelle/HOL). ~ Marco David et als. #ITP #ProofAssistant #IsabelleHOL #Math
• #Exercitium: Problemas de programación con Haskell (mayo de 2022). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (abril de 2022). #Haskell #ProgramaciónFuncional #Matemáticas