Мягкое введение в Coq: структуры данных и функции высших порядков
Пары и списки В предыдущих частях мы научились задавать новые типы данных, определять функции над ними и доказывать их корректность с помощью распространенных тактик. Настало время определить некоторые структуры данных и функции высших порядков (далее ФВП) над ними.Читать дальше →
