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

Четверг, 27 февраля 2020
Таймс, 2 этаж, ауд.204