Coq (cockerel) අන්තර්ක්‍රියාකාරී ප්‍රමේයය ඔප්පු කිරීමේ මෙවලමෙහි 8.12 අනුවාදය නිකුත් කර ඇත (ප්‍රවෘත්තිය ලියන අවස්ථාවේ පවතින නවතම සුළු අනුවාදය 8.12.1 වේ).
Coq හි Gallina (චිකන්) යැපෙන ආකාරයේ ක්‍රමලේඛන භාෂාව ඇතුළත් වේ, එය ගොඩනඟන කලනය පිළිබඳ න්‍යාය මත පදනම් වේ.
Coq පද්ධතිය මඟින් පිරිවිතරයන්ට අනුකූල බවට සාක්ෂි සහිතව පරිගණක-තහවුරු කළ හැකි ප්‍රමේය සාක්ෂි සහ වැඩසටහන් දෙකම සංවර්ධනය කිරීමට ඔබට ඉඩ සලසයි.
නව අනුවාදය සම්මත පුස්තකාලය සහ ලියකියවිලි සැලකිය යුතු ලෙස වැඩිදියුණු කර ඇති අතර දෝෂ ගණනාවක් ද නිවැරදි කර ඇත.
මූලාශ්රය: linux.org.ru