Восстановить билет

в мероприятии Введение в Coq: формальные методы и зависимые типы, Часть VIII