Hacker News new | ask | show | jobs
Bourbaki: A Unified Foundation for Mathematics [video] (youtube.com)
2 points by hnlyman 60 days ago