智慧物流 habanero-coq 返回
项目作者： cogumbreiro

项目描述 ：
Coq formalization of the Habanero programming model.
高级语言： Coq
项目地址: git://github.com/cogumbreiro/habanero-coq.git
创建时间： 2016-01-16T22:17:21Z
项目社区：https://github.com/cogumbreiro/habanero-coq
开源协议：BSD 2-Clause "Simplified" License
下载