# \[ru\] Rocq на русском

**URL:** https://discourse.rocq-prover.org/c/rocq-in-russian/21.md

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

---

## [О категории "Coq на русском"](https://discourse.rocq-prover.org/t/coq/161)

<div class="topic-metadata">

**Author:** [@anton-trunov](https://discourse.rocq-prover.org/u/anton-trunov)\
**Replies:** 0\
**Last updated:** [February 26, 2019, 9:14pm UTC](https://discourse.rocq-prover.org/t/coq/161 "2019-02-26T21:14:29Z")

</div>

Добро пожаловать на подфорум “Rocq на русском языке”! Rocq – это компьютерная система для работы с формальными доказательствами, основанная на теории типов. Первые версии Rocq были написаны около 1983 года в исследовате…

---

## [Какие ещё есть русскоязычные сообщества?](https://discourse.rocq-prover.org/t/topic/1409)

<div class="topic-metadata">

**Author:** [@anton0xf](https://discourse.rocq-prover.org/u/anton0xf)\
**Replies:** 6\
**Last updated:** [October 23, 2026, 8:44am UTC](https://discourse.rocq-prover.org/t/topic/1409 "2026-10-23T08:44:18Z")

</div>

Предлагаю тут делиться информацией, какие есть русскоязычные сообщества, чаты, семинары и пр. для тех что занимается или интересуется формальными доказательствами и формальной верификацией вообще, и coq в частности. Русс…

---

## [Аппрокцимация программ (ассиметричный вариант эквивалентности)](https://discourse.rocq-prover.org/t/topic/817)

<div class="topic-metadata">

**Author:** [@Natasha](https://discourse.rocq-prover.org/u/Natasha)\
**Replies:** 0\
**Last updated:** [May 1, 2020, 7:30am UTC](https://discourse.rocq-prover.org/t/topic/817 "2020-05-01T07:30:46Z")

</div>

Здравствуйте дорогие участники русскоязычного форума! Застряла на самой последней задаче в главе: https://softwarefoundations.cis.upenn.edu/current/plf-current/Equiv.html не могу понять, что за свойство такое. (\* R…