Coq 8.12

कॉक (कॉकरेल) या परस्परसंवादी प्रमेय सिद्ध करणार्‍या साधनाची आवृत्ती ८.१२ (बातमी लिहिण्याच्या वेळी नवीनतम उपलब्ध किरकोळ आवृत्ती ८.१२.१ आहे) जारी करण्यात आली आहे.

Coq मध्ये गॅलिना (चिकन) अवलंबित प्रकारची प्रोग्रामिंग भाषा समाविष्ट आहे, जी रचना कॅल्क्युलसच्या सिद्धांतावर आधारित आहे.

Coq सिस्टीम तुम्हाला कॉम्प्युटर-पडताळणी करता येण्याजोगे प्रमेय पुरावे आणि विनिर्देशनाच्या अनुरुपतेच्या पुराव्यासह प्रोग्राम विकसित करण्यास अनुमती देते.

नवीन आवृत्तीने मानक लायब्ररी आणि दस्तऐवजीकरणात लक्षणीय सुधारणा केली आहे आणि अनेक त्रुटी देखील निश्चित केल्या आहेत.

स्त्रोत: linux.org.ru