Doli 8.12 (versioni mĂ« e fundit e disponueshme minor nĂ« momentin e publikimit tĂ« lajmit â 8.12.1) e mjetit interaktiv pĂ«r provimin e teoremave Coq (kokĂ«s).
Coq përfshin një gjuhë programimi me tipe të varura Gallina (pulë), e cila mbështetet në teorinë e llogaritjeve konstruktive.
Sistemi Coq lejon zhvillimin e provimeve të verifikuara nga kompjuteri për teorema, si dhe programe bashkë me provimin e përputhshmërisë me specifikimet.
Në versionin e ri, biblioteka standarde dhe dokumentacioni janë përmirësuar ndjeshëm, si dhe janë rregulluar disa gabime.
Burimi: linux.org.ru
