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