Workshop to learn how to formalize results in topology using Lean and mathlib.
Welcome to ScholarLattice! If this is not your first time here, please sign in.