#univalentfoundations — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #univalentfoundations, aggregated by home.social.
-
I enjoyed listening to this lecture, or at least the first half by Emily Riehl. About computer proof and mathematics. And scary vibe proofs and why they are nonsense