November 25 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Category Theory Seminars Krieger 413
December 2 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Category Theory Seminars Krieger 413
December 9 @ 3:00 pm - 4:00 pm Category Theory Seminar: Formalizing ∞-Category Theory in Lean Category Theory Seminars Krieger 413