项目描述 ：
This repo is the new home of Proof General

高级语言： Emacs Lisp

项目主页： https://proofgeneral.github.io

项目地址: git://github.com/ProofGeneral/PG.git

创建时间： 2015-09-21T04:13:36Z
项目社区：https://github.com/ProofGeneral/PG
开源协议：GNU General Public License v2.0
下载