Yo te pibliye vèsyon 8.12 (dènye vèsyon minè ki disponib nan moman w ap ekri nouvèl la se 8.12.1) nan zouti entèaktif pou pwouve teyorèm Coq (kok).
Coq gen ladan Gallina (poul) depandan lang pwogramasyon, ki baze sou teyori kalkil konstwi.
Sistèm Coq la pèmèt ou devlope tou de prèv teyorèm verifye nan òdinatè ak pwogram ansanm ak prèv konfòmite ak spesifikasyon la.
Nouvo vèsyon an te amelyore siyifikativman bibliyotèk la ak dokimantasyon estanda, epi tou li te ranje yon kantite erè.
Sous: linux.org.ru