द्वारा कार्यक्रम coq4eclipse.sf.net

Coq4Eclipse ग्रहण मंच के लिए एक प्लगइन है जो Coq प्रूफ असिस्टेंट को एक इंटरफ़ेस प्रदान करता है। यह सिंटेक्स हाइलाइटिंग, खोज सुविधाओं, गणितीय प्रतीकों, सुंदर प्रिंट, आदि के साथ उपयोगकर्ता का समर्थन करेगा।