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

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