Vérsi 8.12 (versi minor panganyarna sadia dina waktu tulisan 8.12.1) Coq prover teorema interaktif (cockerel) geus dileupaskeun.
Coq kalebet basa pamrograman kalayan jinis gumantungna Gallina (hayam), dumasar kana téori kalkulus konstruksi.
Sistem Coq ngidinan Anjeun pikeun ngembangkeun duanana proofs téoréma komputer-verifiable sarta program sapanjang kalawan bukti conformance kana spésifikasi.
Versi anyar sacara signifikan ningkatkeun perpustakaan standar sareng dokuméntasi, sareng ngalereskeun sababaraha bug.
sumber: linux.org.ru