Weergawe 8.12 is vrygestel (die jongste beskikbare minderjarige weergawe ten tyde van die skryf van die nuus is 8.12.1) van die interaktiewe stellingbewysinstrument Coq (haan).
Coq sluit die Gallina (hoender) afhanklike tipe programmeertaal in, wat gebaseer is op die teorie van konstruk-rekening.
Die Coq-stelsel laat jou toe om beide rekenaarverifieerbare stellingbewyse en programme te ontwikkel saam met bewys van voldoening aan die spesifikasie.
Die nuwe weergawe het die standaard biblioteek en dokumentasie aansienlik verbeter, en ook 'n aantal foute reggestel.
Bron: linux.org.ru