← Feed @olynch@mathstodon.xyz Post #1851321 2026-05-01 12:22 UTC I'm stopping by Utrecht Science Park for the next couple hours; if there are any type theorists who want to chat DM me! Replies (0) No replies.