Tarafından Programlar coq4eclipse.sf.net

Coq4Eclipse Coq Proof Assistant bir arayüz sağlayan Eclipse Platformu için bir eklenti. Bu sözdizimi vurgulama, arama tesisleri, matematiksel semboller, oldukça baskı, vb ile kullanıcı yı destekleyecektir.