fp.
newest
Open in hackernews
Emily Riehl, a New Paradigm for Mathematical Proof? [video]
https://www.youtube.com/watch?v=fzxW2XJS6SE
2
•
surprisetalk
•
1h ago