项目描述 ：
My project for a course at Saarland University called "Advanced Coq Programming". My work is limited to the Reflection.v and GeneralReflection.v files, with some slight modifications in PA.v and ZF.v

高级语言： HTML

项目主页：

项目地址: git://github.com/JoJoDeveloping/ACP.git

创建时间： 2020-11-10T20:08:29Z
项目社区：https://github.com/JoJoDeveloping/ACP
开源协议：
下载