Scan to see all details
on
ScholarLattice.org
!
Formalized Topology
Workshop to learn how to formalize results in topology using Lean and mathlib.