CoQ ८.१२

अन्तरक्रियात्मक प्रमेय प्रमाणित गर्ने उपकरण Coq (cockerel) को संस्करण 8.12 जारी गरिएको छ (समाचार लेख्ने समयमा नवीनतम उपलब्ध माइनर संस्करण 8.12.1 हो)।

Coq ले Gallina (चिकन) निर्भर प्रकारको प्रोग्रामिङ भाषा समावेश गर्दछ, जुन निर्माण क्याल्कुलसको सिद्धान्तमा आधारित छ।

Coq प्रणालीले तपाइँलाई कम्प्यूटर-प्रमाणित प्रमेय प्रमाणहरू र विनिर्देशहरूको अनुरूपताको प्रमाण सहित प्रोग्रामहरू विकास गर्न अनुमति दिन्छ।

नयाँ संस्करणले मानक पुस्तकालय र कागजातमा उल्लेखनीय सुधार गरेको छ, र धेरै त्रुटिहरू पनि फिक्स गरेको छ।

स्रोत: linux.org.ru