The readings shared in Bluesky on 8 November 2025 are:

• A new paradigm for mathematical proof? ~ Emily Riehl. #AI #Math #ITP #Agda #LeanProver
• An introduction to formal real analysis (Lecture 17: Series and convergence). ~ Alex Kontorovich. #ITP #LeanProver #Math
• #Exercitium: Pequeño test de inteligencia. #Haskell #ProgramaciónFuncional #Matemáticas