【文件属性】：
文件名称：company-coq：Proof General的Coq模式的IDE扩展
文件大小：4.02MB
文件格式：ZIP
更新时间：2021-02-04 21:52:31
emacs integrated-development-environment coq proof-assistant company-mode
公司费用
Proof General的Coq模式扩展集的集合。
请参阅下面的，或直接跳至并在尝试使用Mx company-coq-tutorial的教程！
建立
梅尔帕
proof-general和company-coq都在 （Emacs软件包的存储库）上。 如果您已经使用MELPA，请跳过此步骤。 否则，将以下内容添加到您的.emacs然后重新启动Emacs：
( require 'package )
( add-to-list 'package-archives '( " melpa " . " https://melpa.org/packages/ " ) t )
( packag