精益 ceramist 返回
项目作者： certichain

项目描述 ：
Verified hash-based AMQ structures in Coq
高级语言： Coq
项目地址: git://github.com/certichain/ceramist.git
创建时间： 2019-05-30T09:37:20Z
项目社区：https://github.com/certichain/ceramist
开源协议：GNU General Public License v3.0
下载