Toleo la 8.12 limetolewa (toleo jipya zaidi linalopatikana wakati wa kuandika habari ni 8.12.1) la zana shirikishi ya kuthibitisha Coq (jogoo).
Coq inajumuisha lugha tegemezi ya aina ya Gallina (kuku), ambayo inategemea nadharia ya kuunda calculus.
Mfumo wa Coq hukuruhusu kukuza uthibitisho na programu za nadharia zinazoweza kuthibitishwa na kompyuta pamoja na uthibitisho wa kufuata vipimo.
Toleo jipya limeboresha kwa kiasi kikubwa maktaba ya kawaida na nyaraka, na pia kurekebisha idadi ya makosa.
Chanzo: linux.org.ru