Introduction to Formal Real Analysis | HN Mirror

Y	Hacker News new \| ask \| show \| jobs

	Introduction to Formal Real Analysis (alexkontorovich.github.io)
	1 points by viscousviolin 146 days ago

1 comments

viscousviolin 146 days ago

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...