The readings shared in Bluesky on 19 November 2025 are:

• An introduction to formal real analysis (Lecture 20: Limits and continuity of functions). ~ Alex Kontorovich. #ITP #LeanProver #Math
• Structuring definitions in mathematical libraries. ~ Alena Gusakov, Peter Nelson, Stephen Watt. #ITP #LeanProver #Math
• Pre*: The predecessors of a regular language w.r.t. a context-free grammar, with applications (in Isabelle/HOL). ~ Tassilo Lemke, Tobias Nipkow. #ITP #IsabelleHOL
• 10 developer habits that separate good programmers from great ones. ~ TheBitForge. #Programming
• #Exercitium: Particiones de longitud fija. #Haskell #ProgramaciónFuncional #Matemáticas