The readings shared in Bluesky on 26 September 2025 are:

• Composition direction of Seymour's theorem for regular matroids formally verified. ~ Martin Dvorak et als. #ITP #LeanProver #Math
• Generous donation to advance AI for mathematics. ~ Christiana Jasutan. #AI #Math #ITP #LeanProver