Introduction to Formal Real Analysis
alexkontorovich.github.ioLecture 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...