ื•ื•ืขืจืกื™ืข 8.12 ืื™ื– ื‘ืืคืจื™ื™ื˜ (ื“ื™ ืœืขืฆื˜ืข ื‘ื ื™ืžืฆื ืžื™ื ืขืจื•ื•ืขืจื˜ื™ืง ื•ื•ืขืจืกื™ืข ืื™ืŸ ื“ืขืจ ืฆื™ื™ื˜ ืคื•ืŸ ืฉืจื™ื™ื‘ืŸ ื“ื™ ื ื™ื™ึทืขืก ืื™ื– 8.12.1) ืคื•ืŸ ื“ื™ ื™ื ื˜ืขืจืึทืงื˜ื™ื•ื•ืข ื˜ืขืึธืจืขื ืคึผืจืึธื•ื•ื™ื ื’ ื’ืขืฆื™ื™ึทื’ Coq (ืงืึธืงืขืจืขืœ).

ืงืึธืง ื›ื•ืœืœ ื“ื™ ื’ืึทืœื™ื ืึท (ื”ื™ื ื“ืœ) ืึธืคืขื ื’ื™ืง ืคึผืจืึธื’ืจืึทืžืžื™ื ื’ ืฉืคึผืจืึทืš, ื•ื•ืึธืก ืื™ื– ื‘ืื–ื™ืจื˜ ืื•ื™ืฃ ื“ื™ ื˜ืขืึธืจื™ืข ืคื•ืŸ โ€‹โ€‹ื‘ื•ื™ืขืŸ ืงืึทืœืงื•ืœื•ืก.

ื“ื™ ืงืึธืง ืกื™ืกื˜ืขื ืึทืœืึทื•ื– ืื™ืจ ืฆื• ืึทื ื˜ื•ื•ื™ืงืœืขืŸ ื‘ื™ื™ื“ืข ืงืึธืžืคึผื™ื•ื˜ืขืจ-ื•ื•ืขืจืึทืคื™ื™ืึทื‘ืึทืœ ื˜ื”ืขืึธืจืขื ืคึผืจื•ืคืก ืื•ืŸ ืžื’ื™ืœื” ืฆื•ื–ืืžืขืŸ ืžื™ื˜ ื“ืขืจื•ื•ื™ื™ึทื– ืคื•ืŸ ืงืึทื ืคืึธืจืžื™ื™ืฉืึทืŸ ืฆื• ื“ื™ ื‘ืึทืฉืจื™ื™ึทื‘ื•ื ื’.

ื“ื™ ื ื™ื™ึทืข ื•ื•ืขืจืกื™ืข ื”ืื˜ ื‘ืื˜ื™ื™ื˜ื™ืง ื™ืžืคึผืจื•ื•ื•ื“ ื“ื™ ื ืึธืจืžืึทืœ ื‘ื™ื‘ืœื™ืึธื˜ืขืง ืื•ืŸ ื“ืึทืงื™ื•ืžืขื ื˜ื™ื™ืฉืึทืŸ, ืื•ืŸ ืื•ื™ืš ืคืึทืจืคืขืกื˜ื™ืงื˜ ืึท ื ื•ืžืขืจ ืคื•ืŸ ืขืจืจืึธืจืก.

ืžืงื•ืจ: linux.org.ru