A Lean companion to Analysis I

[jeremyscanvic]

Article URL: https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/

Comments URL: https://news.ycombinator.com/item?id=44145517

Points: 66

# Comments: 4