项目描述 ：
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

高级语言： Coq

项目主页：

项目地址: git://github.com/coq-community/autosubst.git

创建时间： 2015-06-03T14:03:17Z
项目社区：https://github.com/coq-community/autosubst
开源协议：MIT License
下载