プログラム coq4eclipse.sf.net

Coq4Eclipse は、Coq プルーフアシスタントへのインターフェイスを提供する Eclipse プラットフォーム用のプラグインです。構文の強調表示、検索機能、数学記号、美しい印刷などでユーザーをサポートします。