Two workshops will be available for participants:
Workshop to welcome, orient, and connect students and early career researchers to the SumTopo research community.
View Workshop →
Workshop to learn how to formalize results in topology using Lean and mathlib.
