Interaktiivse teoreemide tõestamise tööriista Coq (cockerel) versioon 8.12 on välja antud (uudise kirjutamise ajal on viimane saadavalolev kõrvalversioon 8.12.1).
Coq sisaldab Gallina (kana) sõltuvat tüüpi programmeerimiskeelt, mis põhineb konstruktsiooniarvutuse teoorial.
Coq-süsteem võimaldab teil töötada välja nii arvutiga kontrollitavaid teoreemide tõestusi kui ka programme koos spetsifikatsioonile vastavuse tõestusega.
Uus versioon on oluliselt täiustanud standardset teeki ja dokumentatsiooni ning parandanud ka mitmeid vigu.
Allikas: linux.org.ru