Ilmus Coq 8.12 versioon (viimane saadaval alamversioon uudise kirjutamise ajal – 8.12.1), interaktiivse teoreemide tõestamise tööriist.
Coq hõlmab sõltuvate tüüpidega programmeerimiskeelt Gallina, mis põhineb konstruktsioonide kalkulatsiooni teoorial.
Coq süsteem võimaldab arendada nii arvutiga kontrollitavaid teoreemide tõestusi kui ka programme koos spetsifikatsiooni vastavuse tõestusega.
Uues versioonis on märkimisväärselt täiustatud standardraamatukogu ja dokumentatsioon ning parandatud mitmeid vigu.
Allikas: linux.org.ru
