Formalizing Algebraic Theory of General Topology in Lean
lean formal-verification formal-mathematics semigroups general-topology integral-calculus lean4 formalized-mathematics semicategories
-
Updated
Aug 29, 2026 - Lean