Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
Introduction to Formal Real Analysis | Better HN
Introduction to Formal Real Analysis
(opens in new tab)
(alexkontorovich.github.io)
1 points
viscousviolin
1mo ago
1 comments
Share
1 comments
default
newest
oldest
viscousviolin
OP
1mo 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...
j
/
k
navigate · click thread line to collapse
