Readings shared September 26, 2025
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