π-Base拓扑数据库 Haskell 重写

0粉丝
π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。语法:使用 ~ 进行否定, {和: [...]} 或者 {or: [...]}嵌套。你
简介
π-Base 是拓扑示例社区数据库,提供自动演绎和强大搜索功能。语法:使用 ~ 进行否定, {和: [...]} 或者 {or: [...]}嵌套。你可以通过以下这些字符开启不同的搜索模式:: - 名字间隔? - 不确定! - 否定示例All Non-Metric Continua {and: [c... 更多
其它信息
地区
不详
开源组织
所属分类
程序开发、 数学计算
授权协议
未知
操作系统
Linux
收录时间
2023-09-30
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-09
轻识收录
评价
0.0(满分 10 分)0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐