Bourbaki: A Unified Foundation for Mathematics [video]youtube.com2 points·hnlyman··0 commentsOpen articleSaveView on HN