We aim to create a database of theorems and counterexamples in point-set topology. The starting point for this project is "Counterexamples in Topology" by Steen and Seebach.
No issues in this repository yet.