π-Base Topology е база на податоци на заедницата со тополошки контрапримери.
Базата на податоци има:
- Тополошки простори
- Тополошки теореми.
- Тополошки својства.
- Референци (книги, написи, форуми).
Информации во апликацијата:
- Опис на простор, теорема и својства.
- Својства кои се (и не) задоволни со даден простор.
- Конверзи на теореми за кои даден простор е контрапример.
- Дадено својство кое простори го задоволуваат и не го задоволуваат.
- Контрапримери за обратна страна на дадена теорема. Ако обратното е точно, се дава доказ или референца.
- Простори што задоволуваат дадена логичка формула формирана со својства (пребарување по формула).
- Референци.