开发者 coq4eclipse.sf.net

Coq4Eclipse 是 Eclipse 平台的插件，它为 Coq 证明助手提供了一个接口。它将支持用户与语法突出显示，搜索设施，数学符号，漂亮的打印等。