项目描述 ：
:rooster: Coq plugin for ASDF version manager.

高级语言： Shell

项目主页： https://github.com/asdf-vm/asdf

项目地址: git://github.com/gingerhot/asdf-coq.git

创建时间： 2017-12-09T11:15:01Z
项目社区：https://github.com/gingerhot/asdf-coq
开源协议：MIT License
下载