文件名称：company-coq：Proof General的Coq模式的IDE扩展
文件大小：4.02MB
文件格式：ZIP
更新时间：2024-02-25 15:39:11
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