Coq 8.12

Objavljena je verzija 8.12 (posljednja dostupna manja verzija u trenutku pisanja vijesti – 8.12.1) alata za interaktivno dokazivanje teorema Coq (pijetao).

Coq sadrži jezik programiranja s ovisnim tipovima Gallina (piletina), koji se oslanja na teoriju konstrukcijskog računa.

Sustav Coq omogućava razvoj kako računalno verifikabilnih dokaza teorema, tako i programa zajedno s dokazom sukladnosti specifikaciji.

U novoj verziji značajno je unaprijeđena standardna biblioteka i dokumentacija, a ispravljeni su i neki bugovi.

Izvor: linux.org.ru