网络简化定理检查器

导航

已验证详情

这些详情已由 PyPI 验证
维护者
来自 gravatar.com 的 dcolish 的头像 dcolish

未验证详情

这些详情尚未由 PyPI 验证
项目链接
元数据
  • 许可证： BSD 许可证 (BSD)
  • 作者： Dan Colish
分类

项目描述

数学课程的课程计划器和证明器。要求您安装 Coq 8.2pl1 或更高版本

项目详情

已验证详情

这些详情已由 PyPI 验证
维护者
来自 gravatar.com 的 dcolish 的头像 dcolish

未验证详情

这些详情尚未由 PyPI 验证
项目链接
元数据
  • 许可证： BSD 许可证 (BSD)
  • 作者： Dan Colish
分类

版本历史 发布通知 | RSS 源

此版本

dev 预发布

支持者：