Mae fersiwn 8.12 wedi'i rhyddhau (y fersiwn mân ddiweddaraf oedd ar gael ar adeg ysgrifennu'r newyddion yw 8.12.1) o'r offeryn profi theorem rhyngweithiol Coq (ceiliog).
Mae Coq yn cynnwys yr iaith raglennu teip dibynnol Gallina (cyw iâr), sy'n seiliedig ar ddamcaniaeth calcwlws lluniadu.
Mae'r system Coq yn eich galluogi i ddatblygu proflenni theorem y gellir eu gwirio gan gyfrifiadur a rhaglenni ynghyd â phrawf o gydymffurfio â'r fanyleb.
Mae'r fersiwn newydd wedi gwella'r llyfrgell a dogfennaeth safonol yn sylweddol, a hefyd wedi trwsio nifer o wallau.
Ffynhonnell: linux.org.ru