Kevin Buzzard: The rise of formalism in mathematicsyoutube.com2 points·JulianWasTaken··0 commentsOpen articleSaveView on HN