Coq 8.12

Iznāca 8.12 versija (pēdējā pieejamā mazā versija šī raksta rakstīšanas brīdī – 8.12.1) interaktīvā teorēmu pierādījuma rīka Coq (gaiļus).

Coq ietver programmēšanas valodu ar atkarīgajiem tipiem Gallina (vista), balstoties uz konstrukcijas kalkulācijas teoriju.

Coq sistēma ļauj izstrādāt gan datorā pārbaudāmus teorēmu pierādījumus, gan programmas kopā ar atbilstības specifikācijai pierādījumam.

Jaunajā versijā tika ievērojami uzlabota standarta bibliotēka un dokumentācija, kā arī labotas virknes kļūdas.

Avots: linux.org.ru