Թողարկվել է Coq (աքլոր) ինտերակտիվ թեորեմն ապացուցող գործիքի 8.12 տարբերակը (լուրը գրելու պահին հասանելի ամենավերջին փոքր տարբերակը 8.12.1-ն է):
Coq-ը ներառում է Gallina (հավի) կախյալ տիպի ծրագրավորման լեզուն, որը հիմնված է կառուցվածքային հաշվարկի տեսության վրա։
Coq համակարգը թույլ է տալիս մշակել ինչպես համակարգչային ստուգելի թեորեմի ապացույցներ, այնպես էլ ծրագրեր, ինչպես նաև տեխնիկական պայմաններին համապատասխանության ապացույցներ:
Նոր տարբերակը զգալիորեն բարելավել է ստանդարտ գրադարանը և փաստաթղթերը, ինչպես նաև ուղղել է մի շարք սխալներ:
Source: linux.org.ru