Extended workshops on formalized topology and early career interests
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.
« Back to 2025