Etkileşimli teorem kanıtlama aracı Coq'un (cockerel) 8.12 sürümü yayınlandı (haberin yazıldığı sırada mevcut olan en son küçük sürüm 8.12.1).
Coq, yapı hesabı teorisine dayanan Gallina (tavuk) bağımlı tip programlama dilini içerir.
Coq sistemi, spesifikasyona uygunluk kanıtının yanı sıra, bilgisayarla doğrulanabilir teorem kanıtları ve programlar geliştirmenize olanak tanır.
Yeni sürüm, standart kitaplığı ve belgeleri önemli ölçüde geliştirdi ve ayrıca bir dizi hatayı düzeltti.
Kaynak: linux.org.ru