Задача №111117. Доказательство в HOL

Олимпиада завершена. Режим дорешивания.

Условие пока не опубликовано...

Сдать: для сдачи задач необходимо войти в систему