montegobay / pi-base Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jamesdabbs/pi-base
A community maintained database of topological examples featuring automated deduction and powerful search.
Home Page: topology.jdabbs.com
License: MIT License