The readings shared in Bluesky on 15 August 2025 are

• Definite integrals, I: easy cases over finite intervals. ~ Lawrence Paulson. #ITP #IsabelleHOL #Math
• Revisiting the Fast Fourier Transform in Rocq. ~ Laurent Théry. #ITP #Rocq #Math
• The Vampire diary. ~ Filip Bártek et als. #ATP #Vampire
• HaLLMos: Expert-guided AI for learning to write mathematical proofs. #Math #AI
• HaLLMos (IA para aprender a escribir demostraciones matemáticas). #Math #AI
• #Exercitium: Problemas de programación con Haskell (diciembre de 2015). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (noviembre de 2015). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (octubre de 2015). #Haskell #ProgramaciónFuncional #Matemáticas