Guhertoya 8.12 hate berdan (guhertoya herî dawî ya piçûk di dema nivîsandina nûçeyê de 8.12.1 e) ya amûra îsbatkirina teorema înteraktîf Coq (dîk).
Coq zimanê bernamesaziya tîpa girêdayî Gallina (mirîşk), ku li ser bingeha teoriya hesabkirina avahîsaziyê ye, vedihewîne.
Pergala Coq dihêle hûn hem delîlên teorema-verastkirî yên komputerê û hem jî bernameyan û hem jî delîlên lihevhatina bi taybetmendiyê pêşve bibin.
Guhertoya nû pirtûkxane û belgeyên standard bi girîngî çêtir kiriye, û di heman demê de gelek xeletî jî rast kiriye.
Source: linux.org.ru