We are studying topology. There are a lot of definitions and theorems. I wonder if there somewhere knowledge base about topology and reasoning system exists. So I expect some tool that systematizes all things in topology and can answer me some simple questions about properties of topological object, give me list of theorems for some topics ans so on.


My science interest is about IT and mathematical modeling. And i chose topology as extra course just for curiosity. 


Nobody in my group knows about such tool. I mean some software tool as i know tables and diagrams for example in Engelking, General Topology.


Thanks a lot and sorry for English (it's not my native).



Knowledge base about topology
I was working on a project like this about five years ago, but I abandoned it. I entered the tables from *Counterexamples in Topology* that list the topological spaces and their properties, and I created a list of logical dependencies among the properties. I also wrote Python code to search for spaces having specified properties, and to test whether certain combinations of properties are logically consistent (using the Davis-Putnam algorithm).


Your post inspired me to dust this work off and share it, even though it's not fully baked yet. I have uploaded the data files to [GitHub](https://github.com/Radcliffe/Hausdorff), and I will post my Python code as soon as I have cleaned it up. Contact me if you would like to participate in this project.


