| 版本[RSS（RSS）] |
1.0.0,1.0.1,1.0.2,1.0.3,1.1.0,1.1.1,1.1.2,1.1.3,1.1.4 |
| 依赖关系 |
基础(>=4 && <5),字节删除(>=0.9.1.0),容器(>=0.2),目录,文件路径,haskell-src-exts公司(>=1.1.0),哈斯克尔src-exts-qq(>=0.4),嗯，好吧(>=0.9.7),mtl公司(>=1.1),解析(>=3.1.0),过程,流(>=0.3 && <0.3.2),可串原子(>=0.0.6),测试框架(>=0.2 && <0.3),时间(>=1.1),unix（通用）(>=2.3),wl-打印（>=1.0）[细节] |
| 许可证 |
许可证参考-GPL |
| 版权 |
©2009 CNRS-埃科尔理工学院-INRIA |
| 作者 |
马修·博斯普弗鲁格（Mathieu Boespflug） |
| 维护人员 |
马修·博斯普弗鲁格（Mathieu Boespflug）<mboes@lix.polytechnique.fr> |
| 类别 |
定理证明者,编译程序/解释程序 |
| 主页 |
http://www.lix.polytechnique.fr/dedukti
|
| 源回购 |
头部：git克隆git://github.com/mboes/dedukti |
| 已上传 |
通过马修·博斯普弗鲁格（Mathieu Boespflug）在2011年4月8日T14:57:06Z |
| 分配 |
|
| 反向依赖关系 |
1直接，0间接[细节] |
| 可执行程序 |
dedukti-tests，dedukti测试 |
| 下载 |
总计7166人（过去30天内有11人） |
| 额定值 |
（尚未投票）[估算人贝叶斯平均] |
| 您的评分 |
|
| 状态 |
用户上传的文档
生成状态未知[还没有报告] |
