Versioni 8.12 është lëshuar (versioni i fundit i vogël i disponueshëm në kohën e shkrimit të lajmit është 8.12.1) i mjetit interaktiv për vërtetimin e teoremës Coq (gjeli).
Coq përfshin gjuhën e programimit të tipit të varur Gallina (pule), e cila bazohet në teorinë e llogaritjes së konstruksionit.
Sistemi Coq ju lejon të zhvilloni prova dhe programe të teoremave të verifikueshme nga kompjuteri, së bashku me vërtetimin e konformitetit me specifikimet.
Versioni i ri ka përmirësuar ndjeshëm bibliotekën dhe dokumentacionin standard, si dhe ka rregulluar një numër gabimesh.
Burimi: linux.org.ru