Readings shared September 7, 2025
The readings shared in Bluesky on 7 September 2025 are
Índice
- Course: Introduction to real analysis. ~ Alex Kontorovich. #Math #ITP #LeanProver
- Introduction to formal real analysis (Lecture 1). ~ Alex Kontorovich. #Math #ITP #LeanProver
- Introduction to formal real analysis (Lecture 2). ~ Alex Kontorovich. #Math #ITP #LeanProver
- #Exercitium: Límite de sucesiones. #Haskell #ProgramaciónFuncional #Matemáticas