Title: Formalizing ∞-Category Theory in Lean Abstract: This semester the category theory seminar will function as a working group with the aim of contributing to an open-source collaborative computer formalization […]