The readings shared in Bluesky on 13 November 2025 are:

• Computer-assisted proofs in Lean4. ~ J. Nijholt. #ITP #LeanProver #Math
• De la disputatio a la IA: regreso a los orígenes (La universidad como lugar de diálogo). ~ Neila Campos. #AI #Education
• #Exercitium: Inversa a trozos. #Haskell #ProgramaciónFuncional