Coq4Eclipse ग्रहण मंच के लिए एक प्लगइन है जो Coq प्रूफ असिस्टेंट को एक इंटरफ़ेस प्रदान करता है। यह सिंटेक्स हाइलाइटिंग, खोज सुविधाओं, गणितीय प्रतीकों, सुंदर प्रिंट, आदि के साथ उपयोगकर्ता का समर्थन करेगा।
संस्करण इतिहास
- विवरण N/A पर तैनात 2011-08-07
कई सुधार और अपडेट - विवरण N/A पर तैनात 2011-08-07
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: coq4eclipse.sf.net
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: Array
- मंच: windows