The readings shared in Bluesky on 11 September 2025 are

• An introduction to Lean 4 (An introduction to formal verification). ~ Enric Cosme Llópez, Lü Gong. #ITP #LeanProver #Math
• Lean 4 with a Math Textbook (Part 0: Introduction). ~ Filip Łajszczak. #ITP #LeanProver #Math
• Lean 4 with a Math Textbook (Part 1: Defining sets and membership). ~ Filip Łajszczak. #ITP #LeanProver #Math
• Lean 4 with a Math Textbook (Part 2: Subsets). ~ Filip Łajszczak. #ITP #LeanProver #Math
• Lean 4 with a Math Textbook (Part 3: Properties of subsets). ~ Filip Łajszczak. #ITP #LeanProver #Math
• A Lean 4 formalization of Pólya enumeration theorem. ~ Luka Opravš. #ITP #LeanProver #Math
• Haskell equations, thirty-eight years later. ~ Philip Wadler. #Haskell #FunctionalProgramming
• Better Haskell stack traces via user annotations. ~ Hannes Siebenhandl, Matthew Pickering. #Haskell #FunctionalProgramming
• Fraudulent publishing in the mathematical sciences. ~ Ilka Agricola, Lynn Heller, Wil Schilders, Moritz Schubotz, Peter Taylor, Luis Vega. #Math
• #Exercitium: Representación de Zeckendorf. #Haskell #ProgramaciónFuncional #Matemáticas