Введение в Coq (практика)

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