Mtundu wa 8.12 watulutsidwa (katundu waposachedwa kwambiri wapanthawi yolemba nkhani ndi 8.12.1) wa chida chotsimikizira cha theorem Coq (cockerel).
Coq imaphatikizapo chinenero chodalira mtundu wa Gallina (nkhuku), chomwe chimachokera pa chiphunzitso cha kupanga calculus.
Dongosolo la Coq limakupatsani mwayi wopanga maumboni ndi mapulogalamu otsimikizika pakompyuta komanso umboni wotsatira zomwe zafotokozedwazo.
Mtundu watsopanowu wasintha kwambiri laibulale yokhazikika ndi zolemba, komanso kukonza zolakwika zingapo.
Source: linux.org.ru