September 30 @ 3:00 pm - 4:00 pm Category Theory Seminar: Alvaro Belmonte (JHU) Krieger 413 Title: Formalizing ∞-Category Theory in Lean