Coq (cockerel) என்ற ஊடாடும் தேற்றத்தை நிரூபிக்கும் கருவியின் பதிப்பு 8.12 வெளியிடப்பட்டது (செய்தி எழுதும் போது கிடைக்கும் சிறிய பதிப்பு 8.12.1).
Coq கலினா (கோழி) சார்ந்த வகை நிரலாக்க மொழியை உள்ளடக்கியது, இது கட்டமைக்கும் கால்குலஸ் கோட்பாட்டின் அடிப்படையில் அமைந்துள்ளது.
Coq அமைப்பு, கணினி சரிபார்க்கக்கூடிய தேற்றம் சான்றுகள் மற்றும் நிரல்களை விவரக்குறிப்பிற்கு இணங்குவதற்கான ஆதாரத்துடன் உருவாக்க உங்களை அனுமதிக்கிறது.
புதிய பதிப்பு நிலையான நூலகம் மற்றும் ஆவணங்களை கணிசமாக மேம்படுத்தியுள்ளது, மேலும் பல பிழைகளை சரிசெய்துள்ளது.
ஆதாரம்: linux.org.ru