Version 8.12 tau raug tso tawm (qhov kawg muaj me me version thaum lub sijhawm sau cov xov xwm yog 8.12.1) ntawm kev sib tham sib theorem ua pov thawj cuab yeej Coq (cockerel).
Coq suav nrog Gallina (nqaij qaib) nyob ntawm hom programming lus, uas yog raws li kev xav ntawm kev tsim cov lej.
Lub Coq system tso cai rau koj los tsim ob qho tib si computer-tsim pov thawj theorem thiab cov kev pab cuam nrog rau cov ntaub ntawv pov thawj ntawm kev ua raws li qhov tshwj xeeb.
Tus tshiab version tau txhim kho cov qauv tsev qiv ntawv thiab cov ntaub ntawv tau zoo, thiab kuj tau kho ntau qhov yuam kev.
Tau qhov twg los: linux.org.ru ua