Coq 8.12

ইন্টারেক্টিভ থিওরেম প্রমাণকারী টুল Coq (cockerel) এর সংস্করণ 8.12 প্রকাশিত হয়েছে (খবরটি লেখার সময় সর্বশেষ উপলব্ধ ছোট সংস্করণটি 8.12.1)।

Coq-এর মধ্যে গ্যালিনা (মুরগির) নির্ভরশীল ধরনের প্রোগ্রামিং ভাষা রয়েছে, যা নির্মাণ ক্যালকুলাসের তত্ত্বের উপর ভিত্তি করে।

Coq সিস্টেম আপনাকে স্পেসিফিকেশনের সাথে সামঞ্জস্যের প্রমাণ সহ কম্পিউটার-যাচাইযোগ্য উপপাদ্য প্রমাণ এবং প্রোগ্রাম উভয় বিকাশ করতে দেয়।

নতুন সংস্করণটি স্ট্যান্ডার্ড লাইব্রেরি এবং ডকুমেন্টেশনকে উল্লেখযোগ্যভাবে উন্নত করেছে এবং বেশ কয়েকটি ত্রুটিও সংশোধন করেছে।

উত্স: linux.org.ru