[ru] Coq на русском
Объявления Объявления о событиях в мире Coq: митапах, конференциях, воркшопах, найме на работу, если основным рабочим языком является русский.
Topic | Replies | Views | Activity | |
---|---|---|---|---|
О категории "Coq на русском" | 0 | 1382 | February 26, 2019 | |
Какие ещё есть русскоязычные сообщества? | 2 | 534 | September 27, 2024 | |
Аппрокцимация программ (ассиметричный вариант эквивалентности) | 0 | 660 | May 1, 2020 |