首页
标签
coq-plugin
如何将 Coq 设置为一阶逻辑的定理证明器
Paramcoq：Coq 中的自由定理
重写适用于整数但不适用于 Coq10=]
Coq aac_tactics 安装在哪里？