Coqin interaktiivisen lauseen todistajan (cockerel) versio 8.12 (viimeisin saatavilla oleva sivuversio kirjoitushetkellä on 8.12.1) on julkaistu.
Coq sisältää ohjelmointikielen, jossa on riippuvaisia tyyppejä Gallina (kana), joka perustuu rakennuslaskennan teoriaan.
Coq-järjestelmän avulla voit kehittää sekä tietokoneella todennettavia lausetodistuksia että ohjelmia sekä todisteita vaatimustenmukaisuudesta.
Uusi versio paransi merkittävästi standardikirjastoa ja dokumentaatiota ja korjasi useita virheitä.
Lähde: linux.org.ru