The readings shared in Bluesky on 1 August 2025 are

• Unconstrained optimization (in Isabelle/HOL). ~ Dustin Bryant. #ITP #IsabelleHOL #Math
• Seed-Prover: Deep and broad reasoning for automated theorem proving. ~ Luoxin Chen et als. #ITP #LeanProver #LLMs #Math
• NuminaMath-LEAN is a large-scale dataset of 100K mathematical competition problems formalized in Lean 4. #ITP #LeanProver #Math
• #Exercitium: Problemas de programación con Haskell (abril de 2018). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (marzo de 2018). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (febrero de 2018). #Haskell #ProgramaciónFuncional #Matemáticas