Terence Tao personal blog
A Lean companion to Analysis I
Almost 20 years ago, I wrote a textbook in real analysis called “Analysis I”. It was intended to complement the many good available analysis textbooks out there by focusing more on foun…
- Points
- 292
- HN comments
- 42
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsScience & Space2025
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| May 31, 2025 | A Lean companion to Analysis I by jeremyscanvic | 292 | 42 |
