कॉक 8.12

इंटरैक्टिव प्रमेय साबित करने वाले टूल Coq (कॉकरेल) का संस्करण 8.12 जारी किया गया है (समाचार लिखने के समय नवीनतम उपलब्ध लघु संस्करण 8.12.1 है)।

कॉक में गैलिना (चिकन) आश्रित प्रकार की प्रोग्रामिंग भाषा शामिल है, जो कंस्ट्रक्ट कैलकुलस के सिद्धांत पर आधारित है।

Coq प्रणाली आपको विनिर्देश के अनुरूप होने के प्रमाण के साथ-साथ कंप्यूटर-सत्यापन योग्य प्रमेय प्रमाण और प्रोग्राम दोनों विकसित करने की अनुमति देती है।

नए संस्करण ने मानक पुस्तकालय और दस्तावेज़ीकरण में उल्लेखनीय सुधार किया है, और कई त्रुटियों को भी ठीक किया है।

स्रोत: linux.org.ru