เช‡เชจเซเชŸเชฐเซ‡เช•เซเชŸเชฟเชต เชชเซเชฐเชฎเซ‡เชฏ เชธเชพเชฌเชฟเชค เช•เชฐเชจเชพเชฐ เช•เซ‹เช• (เช•เซ‹เช•เชฐเซ‡เชฒ) เชจเซเช‚ เชธเช‚เชธเซเช•เชฐเชฃ 8.12 เชฐเชฟเชฒเซ€เช เช•เชฐเชตเชพเชฎเชพเช‚ เช†เชตเซเชฏเซเช‚ เช›เซ‡ (เชธเชฎเชพเชšเชพเชฐ เชฒเช–เชคเซ€ เชตเช–เชคเซ‡ เชจเชตเซ€เชจเชคเชฎ เช‰เชชเชฒเชฌเซเชง เชจเชพเชจเซ€ เช†เชตเซƒเชคเซเชคเชฟ 8.12.1 เช›เซ‡).

เช•เซ‹เช•เชฎเชพเช‚ เช—เซ‡เชฒเชฟเชจเชพ (เชšเชฟเช•เชจ) เช†เชงเชพเชฐเชฟเชค เชชเซเชฐเช•เชพเชฐเชจเซ€ เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎเชฟเช‚เช— เชญเชพเชทเชพเชจเซ‹ เชธเชฎเชพเชตเซ‡เชถ เชฅเชพเชฏ เช›เซ‡, เชœเซ‡ เช•เชจเซเชธเซเชŸเซเชฐเช•เซเชŸ เช•เซ‡เชฒเซเช•เซเชฏเซเชฒเชธเชจเชพ เชธเชฟเชฆเซเชงเชพเช‚เชค เชชเชฐ เช†เชงเชพเชฐเชฟเชค เช›เซ‡.

Coq เชธเชฟเชธเซเชŸเชฎ เชคเชฎเชจเซ‡ เชธเซเชชเชทเซเชŸเซ€เช•เชฐเชฃ เชธเชพเชฅเซ‡ เชธเซเชธเช‚เช—เชคเชคเชพเชจเชพ เชชเซเชฐเชพเชตเชพ เชธเชพเชฅเซ‡ เช•เชฎเซเชชเซเชฏเซเชŸเชฐ-เชšเช•เชพเชธเชฃเซ€ เช•เชฐเซ€ เชถเช•เชพเชฏ เชคเซ‡เชตเชพ เชชเซเชฐเชฎเซ‡เชฏ เชชเซเชฐเชพเชตเชพ เช…เชจเซ‡ เชชเซเชฐเซ‹เช—เซเชฐเชพเชฎ เชฌเช‚เชจเซ‡ เชตเชฟเช•เชธเชพเชตเชตเชพเชจเซ€ เชฎเช‚เชœเซ‚เชฐเซ€ เช†เชชเซ‡ เช›เซ‡.

เชจเชตเชพ เชธเช‚เชธเซเช•เชฐเชฃเซ‡ เชชเซเชฐเชฎเชพเชฃเชญเซ‚เชค เชฒเชพเช‡เชฌเซเชฐเซ‡เชฐเซ€ เช…เชจเซ‡ เชฆเชธเซเชคเชพเชตเซ‡เชœเซ€เช•เชฐเชฃเชฎเชพเช‚ เชจเซ‹เช‚เชงเชชเชพเชคเซเชฐ เชธเซเชงเชพเชฐเซ‹ เช•เชฐเซเชฏเซ‹ เช›เซ‡, เช…เชจเซ‡ เชธเช‚เช–เซเชฏเชพเชฌเช‚เชง เชญเซ‚เชฒเซ‹เชจเซ‡ เชชเชฃ เชธเซเชงเชพเชฐเซ€ เช›เซ‡.

เชธเซ‹เชฐเซเชธ: linux.org.ru