The readings shared in Bluesky on 14 September 2025 are:

• An introduction to formal real analysis (Lecture 3: More fun with sequences). ~ Alex Kontorovich. #ITP #LeanProver #Math