π-Base Topology — це спільнота бази даних топологічних контрприкладів.
База даних має:
- Топологічні простори
- Топологічні теореми.
- Топологічні властивості.
- Посилання (книги, статті, форуми).
Інформація всередині програми:
- Опис простору, теореми та властивостей.
- Властивості, яким задовольняє (і не задовольняє) даний простір.
- Конверси теорем, для яких даний простір є контрприкладом.
- Дана властивість, якій простори задовольняють і не задовольняють її.
- Контрприклади для зворотного заданої теореми. Якщо вірно зворотне, надається доказ або посилання.
- Простіри, що задовольняють заданій логічній формулі, утвореній властивостями (пошук за формулою).
- Посилання.