Megjelent a 8.12-es verzió (a hír írásának időpontjában a legutolsó elérhető kisebb verzió – 8.12.1) a Coq (kakas) interaktív tételek bizonyító eszközéből.
A Coq egy Gallina (tyúk) típusú programozási nyelvet tartalmaz, amely a konstrukciós kalkulus elméletén alapul.
A Coq rendszer lehetővé teszi számítógépesen ellenőrizhető tételbizonyítékok és specifikációval való megfelelőséget igazoló programok fejlesztését.
Az új verzió jelentősen fejlesztette a standard könyvtárat és a dokumentációt, valamint több hibát is kijavított.
Forrás: linux.org.ru
