文件名称：coq-8.8.1-win64.exe和coq-hurry.pdf
文件大小：65.03MB
文件格式：ZIP
更新时间：2021-12-26 17:36:14
Coq Coq in hury 定理证明
coq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zipcoq-8.8.1和coq-hurry.zip
【文件预览】：
coq-hurry.pdf
coq-8.8.1-installer-win64 .exe