Ferzje 8.12 is frijlitten (de lêste beskikbere lytse ferzje op it momint fan it skriuwen fan it nijs is 8.12.1) fan it ynteraktive teorem-bewiisark Coq (cockerel).
Coq omfettet de Gallina (kip) ôfhinklike type programmeartaal, dy't basearre is op 'e teory fan konstruksjeberekkening.
It Coq-systeem lit jo sawol komputer-ferifiearbere teorembewizen as programma's ûntwikkelje tegearre mei bewiis fan konformiteit mei de spesifikaasje.
De nije ferzje hat gâns ferbettere de standert bibleteek en dokumintaasje, en ek repareare in oantal flaters.
Boarne: linux.org.ru