เจธเฉฐเจธเจเจฐเจฃ 8.12 เจเจพเจฐเฉ เจเฉเจคเจพ เจเจฟเจ เจนเฉ (เจเจฌเจฐ เจฒเจฟเจเจฃ เจฆเฉ เจธเจฎเฉเจ เจจเจตเฉเจจเจคเจฎ เจเจชเจฒเจฌเจง เจฎเจพเจฎเฉเจฒเฉ เจธเฉฐเจธเจเจฐเจฃ 8.12.1 เจนเฉ) เจเฉฐเจเจฐเจเจเจเจฟเจต เจฅเจฟเจเจฐเจฎ เจธเจพเจฌเจค เจเจฐเจจ เจตเจพเจฒเฉ เจเฉเจฒ Coq (cockerel) เจฆเจพเฅค
เจเฉเจ เจตเจฟเฉฑเจ เจเฉเจฒเฉเจจเจพ (เจเจฟเจเจจ) เจจเจฟเจฐเจญเจฐ เจเจฟเจธเจฎ เจฆเฉ เจชเฉเจฐเฉเจเฉเจฐเจพเจฎเจฟเฉฐเจ เจญเจพเจธเจผเจพ เจธเจผเจพเจฎเจฒ เจนเฉ, เจเฉ เจเจฟ เจจเจฟเจฐเจฎเจพเจฃ เจเฉเจฒเจเฉเจฒเจธ เจฆเฉ เจธเจฟเจงเจพเจเจค 'เจคเฉ เจ เจงเจพเจฐเจค เจนเฉเฅค
Coq เจธเจฟเจธเจเจฎ เจคเฉเจนเจพเจจเฉเฉฐ เจจเจฟเจฐเจงเจพเจฐเจจ เจฆเฉ เจ เจจเฉเจเฉเจฒเจคเจพ เจฆเฉ เจธเจฌเฉเจค เจฆเฉ เจจเจพเจฒ เจเฉฐเจชเจฟเจเจเจฐ-เจชเฉเจฐเจฎเจพเจฃเจฟเจค เจชเฉเจฐเจฎเฉเจ เจชเฉเจฐเจฎเจพเจฃเจพเจ เจ เจคเฉ เจชเฉเจฐเฉเจเจฐเจพเจฎเจพเจ เจจเฉเฉฐ เจตเจฟเจเจธเจค เจเจฐเจจ เจฆเฉ เจเจเจพเจเจผเจค เจฆเจฟเฉฐเจฆเจพ เจนเฉเฅค
เจจเจตเฉเจ เจธเฉฐเจธเจเจฐเจฃ เจจเฉ เจฎเจฟเจเจฐเฉ เจฒเจพเจเจฌเฉเจฐเฉเจฐเฉ เจ เจคเฉ เจฆเจธเจคเจพเจตเฉเจเจผเจพเจ เจตเจฟเฉฑเจ เจฎเจนเฉฑเจคเจตเจชเฉเจฐเจจ เจธเฉเจงเจพเจฐ เจเฉเจคเจพ เจนเฉ, เจ เจคเฉ เจเจ เจคเจฐเฉเฉฑเจเฉเจเจ เจจเฉเฉฐ เจตเฉ เจ เฉเจ เจเฉเจคเจพ เจนเฉเฅค
เจธเจฐเฉเจค: linux.org.ru