Il-verżjoni 8.12 ġiet rilaxxata (l-aħħar verżjoni minuri disponibbli fil-ħin tal-kitba tal-aħbarijiet hija 8.12.1) tal-għodda interattiva tal-prova tat-teorema Coq (cockerel).
Coq jinkludi l-lingwa ta 'programmar tat-tip dipendenti Gallina (tiġieġ), li hija bbażata fuq it-teorija tal-kalkulu tal-kostruzzjoni.
Is-sistema Coq tippermettilek tiżviluppa kemm provi tat-teorema verifikabbli bil-kompjuter kif ukoll programmi flimkien ma' prova ta' konformità mal-ispeċifikazzjoni.
Il-verżjoni l-ġdida tejbet b'mod sinifikanti l-librerija u d-dokumentazzjoni standard, u ffissat ukoll numru ta 'żbalji.
Sors: linux.org.ru