Вопросы
Теги
Вопросы
Теги
Вопросы
Теги
Главная
Вопросы logical-foundations
Описание
Все вопросы "logical-foundations"
2
ответа
Основы coq: функция bin_to_nat
Я прохожу курс «Основы логики» и застрял на последнем упражнении «Основы»: двоичное число записывает преобразователь в его унарное представление: Индуктивный бин: Тип: = | Z | А (...
coq
logical-foundations
вопрос задан:
14 February 2019 12:07