Workshop to learn how to formalize results in topology using Lean and mathlib.
All times Central Time (US & Canada).