π-Base dataset website , code repository James Dabbs Steven Clontz A community database of topological counterexamples Previous Next