0зной
1ответ
Пример из описания Руководство по логике
2зной
2ответ
Докажите длину (ч :: л) = 1 + длина л
5зной
2ответ
Как использовать собственный принцип индукции в Coq?
0зной
1ответ
Индуктивный доказательство на лестницу потока
15зной
1ответ
Как эффективно преобразовать индуктивный тип в коиндуктивный тип (без рекурсии)?
2зной
1ответ
Haskell - Использование индукции доказать импликацию