Ilmus versioon 8.12 (viimane saadaval väikeversioon uudise kirjutamise hetkel – 8.12.1) interaktiivse teoreemide tõestamise tööriistast Coq (kukeke).
Coq sisaldab sõltuvate tüüpidega programmeerimiskeelt Gallina (kana), mis toetub konstruktsioonikalkuliteooriale.
Coq süsteem võimaldab arendada nii arvutiga kontrollitavaid teoreemide tõestusi kui ka programme koos vastavuse spetsifikatsiooniga tõestamisega.
Uues versioonis on oluliselt täiustatud standardbiblioteeki ja dokumentatsiooni ning parandatud mitmeid vigu.
Allikas: linux.org.ru
