π-Base拓扑数据库 Haskell 重写认领

π-Base 是拓扑示例社区数据库，提供自动演绎和强大搜索功能。语法：使用 ~ 进行否定， {和: [...]} 或者 {or: [...]}嵌套。你