Introduction to Formal Real Analysis | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Introduction to Formal Real Analysis(alexkontorovich.github.io)

1 points by viscousviolin 225 days ago | 1 comment

Introduction to Formal Real Analysis | Dark Hacker News

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