Readings shared December 6, 2025 José A. Alonso 07-12-2025 The readings shared in Bluesky on 6 December 2025 are: An introduction to formal real analysis (Lecture 24: Topology). ~ Alex Kontorovich. #ITP #LeanProver #Math