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

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