_20260302065400PM.png)
iiD PopUp Lunch
Scott Schmidler
to
Dissertation Announcement: Ben Neubert
Ben Neubert
to
iiD Colloquium on Formalization of Mathematics: Formalizing invisible mathematics: case studies from higher category theory
Emily Riehl (Johns Hopkins University)
to
iiD TeaTime
to
Dissertation Announcement: Leonardo Biral
Leonardo Biral
to
