1зной
1ответ
0зной
1ответ
шаблон согласования списка список
3зной
1ответ
Как определить мои собственные (рекурсивные) обозначения Coq?
3зной
1ответ
Структурная рекурсия по зависимому параметру
1зной
2ответ
преобразовать список целых чисел в список натуральных чисел
2зной
2ответ
Coq: Проблемы со списком в индуктивном
2зной
1ответ
разрушится с зависимыми типами