Program menurut coq4eclipse.sf.net

Coq4Eclipse adalah plugin untuk Eclipse Platform yang menyediakan antarmuka ke Coq Proof Assistant. Ini akan mendukung pengguna dengan penyorotan sintaks, fasilitas pencarian, simbol matematika, pretty-print, dll.