October 21, 2024 @ 3:00 pm - 4:00 pm Category Theory Seminar: Zeyi Zhao (JHU) Krieger 413 Topic: Formalizing ∞-Category Theory in Lean