精益 math-comp-corpus 返回
项目作者： EngineeringSoftware

项目描述 ：
Corpus of Coq code related to MathComp including several machine-readable representations
高级语言： Common Lisp
项目地址: git://github.com/EngineeringSoftware/math-comp-corpus.git
创建时间： 2020-04-19T01:05:05Z
项目社区：https://github.com/EngineeringSoftware/math-comp-corpus
开源协议：Other
下载