Coq (cockerel) interaktiv teoremani isbotlash vositasining 8.12 versiyasi chiqarildi (yangilikni yozish paytidagi eng so'nggi kichik versiya 8.12.1).
Coq konstruktiv hisoblash nazariyasiga asoslangan Gallina (tovuq) ga bog'liq dasturlash tilini o'z ichiga oladi.
Coq tizimi kompyuter tomonidan tekshiriladigan teorema dalillarini va spetsifikatsiyaga muvofiqligini isbotlovchi dasturlarni ishlab chiqish imkonini beradi.
Yangi versiya standart kutubxona va hujjatlarni sezilarli darajada yaxshiladi, shuningdek, bir qator xatolarni tuzatdi.
Manba: linux.org.ru