Versie 8.12 is uitgebracht (de nieuwste beschikbare secundaire versie op het moment dat het nieuws wordt geschreven is 8.12.1) van het interactieve hulpmiddel voor het bewijzen van stellingen Coq (cockerel).
Coq bevat de programmeertaal Gallina (kip), afhankelijk van het type, die is gebaseerd op de theorie van constructcalculus.
Met het Coq-systeem kunt u zowel door de computer verifieerbare stellingbewijzen als programma's ontwikkelen, samen met een bewijs van conformiteit met de specificatie.
De nieuwe versie heeft de standaardbibliotheek en documentatie aanzienlijk verbeterd en ook een aantal fouten verholpen.
Bron: linux.org.ru