π-Base 拓扑数据库 Haskell 重写

π-Base 是拓扑示例社区数据库，提供自动演绎和强大搜索功能。

语法：

使用 ~ 进行否定， {和: [...]} 或者 {or: [...]}嵌套。

你可以通过以下这些字符开启不同的搜索模式：

• : – 名字间隔

• ? – 不确定

• ! – 否定

示例

All Non-Metric Continua

 {and: [compact, connected, t_2, ~metrizable]}

A Common Non-Theorem

 {and: [\"first countable\", separable, \"~second countable\"]}

A Class of Examples by Name

 :plank

New Things to Prove

 ?metacompact