Введение в Coq (3/n)

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