pi-base. A community maintained database of topological examples featuring automated deduction and powerful search.