Семинар по Coq

Среда, 07 апреля 2021
Онлайн, занятие в zoom