Coq (cockerel) interaktiv teorem sübut alətinin 8.12 versiyası (xəbərin yazıldığı anda mövcud olan ən son kiçik versiya 8.12.1-dir) buraxılmışdır.
Coq, konstruktiv hesablama nəzəriyyəsinə əsaslanan Gallina (toyuq) asılı tipli proqramlaşdırma dilini əhatə edir.
Coq sistemi həm kompüterdə yoxlanılan teorem sübutlarını, həm də spesifikasiyaya uyğunluğun sübutu ilə birlikdə proqramları hazırlamağa imkan verir.
Yeni versiya standart kitabxana və sənədləri əhəmiyyətli dərəcədə təkmilləşdirdi, həmçinin bir sıra səhvləri düzəltdi.
Mənbə: linux.org.ru