fp.
newest
Open in hackernews
Bourbaki: A Unified Foundation for Mathematics [video]
https://www.youtube.com/watch?v=EQ3w-YcP4q4
2
•
hnlyman
•
1h ago