Семинар по Coq

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