PG：此仓库是Proof General的新家

【文件属性】：

文件名称：PG：此仓库是Proof General的新家

文件大小：1.47MB

文件格式：ZIP

更新时间：2024-02-25 14:12:39

emacs integrated-development-environment coq proof-assistant proof-general

PG：此仓库是Proof General的新家