Útgáfa 8.12 hefur verið gefin út (nýjasta tiltæka smáútgáfan þegar fréttin er skrifuð er 8.12.1) af gagnvirka setningartólinu Coq (cockerel).
Coq inniheldur Gallina (kjúklinga) háð forritunarmál, sem byggir á kenningunni um smíðareikning.
Coq kerfið gerir þér kleift að þróa bæði tölvusannanlega setningarsönnun og forrit ásamt sönnun um samræmi við forskriftina.
Nýja útgáfan hefur bætt venjulegt bókasafn og skjöl verulega og einnig lagað fjölda villna.
Heimild: linux.org.ru