The readings shared in Bluesky on 21 July 2025 are

• Representability and formalization of (distributive quasi) relation algebras. ~ Peter Jipsen. #ITP #LeanProver #IsabelleHOL #Rocq #Math
• #Exercitium: Problemas de programación con Haskell de abril de 2020. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell de marzo de 2020. #Haskell #ProgramaciónFuncional #Matemáticas