Coq 8.12
Versioni 8.12 Ă«shtĂ« lĂ«shuar (versioni mĂ« i fundit i disponueshĂ«m tĂ« cilin e kemi nĂ« momentin e shkruajtjes sĂ« lajmit â 8.12.1) pĂ«r mjetin interaktiv tĂ« provimit tĂ« teoremave Coq (kokĂ«rr). Coq pĂ«rfshin njĂ« gjuhĂ« programimi me tipe tĂ« varura Gallina (gallosh), e cila mbĂ«shtetet nĂ« teorinĂ« e kalkulimit tĂ« konstruktimeve. Sistemi Coq lejon zhvillimin e provimeve tĂ« verifikueshme nga kompjuteri, si dhe programeve sĂ« bashku me provimin e pĂ«rputhshmĂ«risĂ« me specifikimin. NĂ« versionin e ri kishte […]
