Versi 8.12 wis dirilis (versi suntingan paling anyar sing kasedhiya nalika nulis warta yaiku 8.12.1) saka alat pembuktian teorema interaktif Coq (cockerel).
Coq kalebu basa pemrograman jinis gumantung Gallina (pitik), sing adhedhasar teori kalkulus konstruk.
Sistem Coq ngidini sampeyan ngembangake bukti teorema lan program sing bisa diverifikasi komputer bebarengan karo bukti kesesuaian karo spesifikasi kasebut.
Versi anyar wis nambah perpustakaan standar lan dokumentasi, lan uga ndandani sawetara kasalahan.
Source: linux.org.ru