Introduction to Formal Real Analysis(alexkontorovich.github.io)
alexkontorovich.github.io
Introduction to Formal Real Analysis
https://alexkontorovich.github.io/2025F311H/
1 comments
Lecture recordings available here: https://www.youtube.com/playlist?list=PLs6rMe3K87LHu03WWh9rE...
And the interactive tutorial server can be found here: https://adam.math.hhu.de/#/g/alexkontorovich/realanalysisgam...