О категории "Объявления"

[anton-trunov]

Объявления о событиях в мире Coq: митапах, конференциях, воркшопах, найме на работу, если основным рабочим языком является русский.