開發者 coq4eclipse.sf.net

Coq4Eclipse 是 Eclipse 平台的外掛程式，它為 Coq 證明助手提供了一個介面。它將支援使用者與語法突出顯示，搜索設施，數學符號，漂亮的列印等。