| 版本[RSS公司] |
0.0.0 |
| 依赖关系 |
基础(>=4.0 && <5),超文本传输协议(>=4000.1 && <4000.2),杰森(>=0.4.4 && <0.5),utf8-字符串(>=0.3 && <0.4)[详细信息] |
| 许可证 |
BSD-3条款 |
| 作者 |
汤姆·霍金斯<tomahawkins@gmail.com> |
| 维护人员 |
汤姆·霍金斯<tomahawkins@gmail.com> |
| 类别 |
游戏,形式化方法,定理证明者 |
| 源回购 |
头部：git克隆git://github.com/tomahawkins/theoremquest.git |
| 已上传 |
通过汤姆·霍金斯在2011年2月28日0时50分56秒 |
| 分配 |
|
| 反向依赖关系 |
1个直接，0个间接[详细信息] |
| 下载 |
总计1162人（过去30天内有7人） |
| 额定值 |
（尚未投票）[估算人贝叶斯平均] |
| 您的评分 |
|
| 状态 |
用户上传的文档
生成状态未知[还没有报告] |
