2
ответа

Основы coq: функция bin_to_nat

Я прохожу курс «Основы логики» и застрял на последнем упражнении «Основы»: двоичное число записывает преобразователь в его унарное представление: Индуктивный бин: Тип: = | Z | А (...
вопрос задан: 14 February 2019 12:07