groupoid.space::infinity:Groupoid无限

【文件属性】：
文件名称：groupoid.space::infinity:Groupoid无限
文件大小：5.26MB
文件格式：ZIP
更新时间：2021-05-18 05:36:07
path pi hit induction sigma 组群无穷大 Groupoid Infinity正在研究类型理论，数学的编码，提取和形式化。 语言能力 可以在lang文件夹中找到Groupoid Infinity运行时： 运行时间 groupoid.space/lang/ ├── cps/ ├── eff/ ├── ip/ └── apl/ APL —持久性张量数组处理运行时（获取，放置，折叠） CPS —快速认证的L1 lambda CPS解释器作为运行时（有趣，应用程序） EFF —有限I / O（getString，putString，pure）的效果类型系统 IP —用于过程演算（生成，发送，接收）的内核间协议 证明者 groupoid.space/ ├── pure/ └── homotopy/ PTS —用于编码探索的纯类型系统 HTS —用于数学建模的同伦类型系统 基础库 基础 在core文件夹中显示了PTS / M