Versio 8.12 estis publikigita (la plej nova disponebla negrava versio en la momento de skribado de la novaĵo estas 8.12.1) de la interaga teorema pruvilo Coq (koko).
Coq inkludas la Gallina (kokido) dependan tipprogramlingvon, kiu estas bazita sur la teorio de konstrukalkulo.
La Coq-sistemo permesas vin evoluigi kaj komputil-kontroleblajn teoremajn pruvojn kaj programojn kune kun pruvo de konformeco al la specifo.
La nova versio signife plibonigis la norman bibliotekon kaj dokumentadon, kaj ankaŭ riparis kelkajn erarojn.
fonto: linux.org.ru