Readings shared October 11, 2025
The readings shared in Bluesky on 11 October 2025 are:
- An introduction to formal real analysis (Lecture 9: Finite sums and boundedness of convergent sequences). ~ Alex Kontorovich. #ITP #LeanProver #Math
- An introduction to formal real analysis (Lecture 10: Algebraic limit theorem and order properties). ~ Alex Kontorovich. #ITP #LeanProver #Math
- #Exercitium: Laberinto numérico. #Haskell #ProgramaciónFuncional #Matemáticas