Emily Riehl, a New Paradigm for Mathematical Proof? [video]

(youtube.com) by surprisetalk | Nov 14, 2025 | 0 comments on HN