We are studying topology. There are a lot of definitions and theorems. I wonder if there somewhere knowledge base about topology and reasoning system exist. 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 too as i know tables and diagrams for example in Engelking, General Topology.

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