The readings shared in Bluesky on 26 October 2025 are:

• Why formalize mathematics - more than catching errors. ~ Rado Kirov. #ITP #LeanProver #Math
• Path equivalence and automation for integration contours (in Isabelle/HOL). ~ Manuel Eberl. #ITP #IsabelleHOL #Math
• An introduction to formal real analysis (Lecture 13: Monotone subsequence). ~ Alex Kontorovich. #ITP #LeanProver #Math
• An introduction to formal real analysis (Lecture 14: The Bolzano-Weierstrass theorem). ~ Alex Kontorovich. #ITP #LeanProver #Math
• #Exercitium: Parte impar de un número. #Haskell #ProgramaciónFuncional #Matemáticas