De versie 8.12 is uitgebracht (de laatste beschikbare minorversie ten tijde van het schrijven van dit nieuwsbericht is 8.12.1) van de interactieve bewijsvoering tool Coq (haan).
Coq bevat een programmeertaal met afhankelijke types, Gallina (hen), gebaseerd op de theorie van constructieve rekensystemen.
Het Coq-systeem maakt het mogelijk om zowel computer-geverifieerde bewijsvoering van stellingen als programma's met bewijs van specificatie-overeenstemming te ontwikkelen.
In de nieuwe versie is de standaardbibliotheek en documentatie aanzienlijk verbeterd en zijn er verschillende fouten verholpen.
Bron: linux.org.ru
