The readings shared in Bluesky on 26 June 2025 are

• The correspondence between affine group schemes and Hopf algebras (in Lean). ~ Yaël Dillies, Michał Mrugała, Andrew Yang. #ITP #LeanProver #Math
• Searching for theorems in Mathlib. ~ Bolton Bailey. #ITP #LeanProver #Math
• The hidden number problem (in Isabelle/HOL). ~ Sage Binder, Eric Ren, Katherine Kosaian. #ITP #IsabelleHOL
• A modular splitting framework for saturation theorem proving (in Isabelle/HOL). ~ Ghilain Bergeron, Florent Krasnopol, Sophie Tourret. #ITP #IsabelleHOL
• The sigmoid function and the universal approximation theorem (in Isabelle/HOL). ~ Dustin Bryant, Jim Woodcock, Simon Foster. #ITP #IsabelleHOL
• Solving LinkedIn queens with Haskell. ~ Agnishom Chattopadhyay. #Haskell #FunctionalProgramming
• The Haskell Unfolder Episode 45: Haskell records in 2025. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming