[ru] Coq на русском


Объявления Объявления о событиях в мире Coq: митапах, конференциях, воркшопах, найме на работу, если основным рабочим языком является русский.
Topic Replies Views Activity
0 1034 February 26, 2019
1 260 August 7, 2021
0 466 May 1, 2020