这是名为 book 的 Linux 应用程序，其最新版本可以下载为 HomotopyTypeTheory-UnivalentFoundationsofMathematics,FirstEditionsourcecode.tar.gz。它可在免费的工作站托管服务提供商 OnWorks 上在线运行。
免费下载并在线运行这款名为“book with OnWorks”的应用程序。
请按照以下说明运行此应用程序：
- 1. 在您的 PC 中下载此应用程序。
- 2. 在我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX 中输入您想要的用户名。
- 3. 在这样的文件管理器中上传这个应用程序。
- 4. 从此网站启动OnWorks Linux online 或Windows online emulator 或MACOS online emulator。
- 5. 从您刚刚启动的 OnWorks Linux 操作系统，使用您想要的用户名转到我们的文件管理器 https://www.onworks.net/myfiles.php?username=XXXXX。
- 6. 下载应用程序，安装并运行。
SCREENSHOTS
Ad
书
商品描述
同伦类型理论的正则非正式教材，由高等研究院（2012-13年）在“Univalent Foundations”项目下发起。该教材以教学的方式呈现该理论，无需借助技术证明辅助工具。
功能
- 同伦类型理论和单价性的全面介绍
- 强调直觉和数学推理，无需证明助手
- 更广泛的单一基础倡议的一部分
- 根据 CC-BY-SA 3.0 许可分发
- 通过 PR 和 GitHub 问题接受的贡献
- 每日构建版本和在线编译版本
程式语言
Python
分类
数学
此应用程序也可从 https://sourceforge.net/projects/book.mirror/ 获取。它已托管在 OnWorks 中，以便通过我们的免费操作系统以最便捷的方式在线运行。
