The readings shared in Bluesky on 18 August 2025 are

• Formalizing axiomatics for first-order logic. ~ Jørgen Villadsen, Simon Tobias Lund, Anders Schlichtkrull. #ITP #IsabelleHOL #Logic
• Formal correctness proofs for efficient CHAD. ~ Benjamin Meijs. #ITP #Agda
• Binary tree BFS: Zigzag order. ~ James Bowen. #Haskell #FunctionalProgramming #RustLang
• #Exercitium: Problemas de programación con Haskell (marzo de 2015). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (febrero de 2015). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (enero de 2015). #Haskell #ProgramaciónFuncional #Matemáticas