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