注册
登录
精益
coq-ast
返回
项目作者：
proofengineering
项目描述 ：
Coq plugin for printing term abstract syntax trees and their digests
高级语言：
OCaml
项目主页：
项目地址:
git://github.com/proofengineering/coq-ast.git
创建时间：
2017-09-19T17:14:17Z
项目社区：
https://github.com/proofengineering/coq-ast
开源协议：
Other
下载
