Tool. π-Base: Topology [SQCG]

https://topology.pi-base.org/

A community database of topological counterexamples