Real Analysis exercises

Stream: Berkeley Lean Seminar

[Rado Kirov]

This might be an interesting set of exercises to do after the natural numbers game - https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/ (I haven't tried them)