1зной
1ответ
Улучшение рекурсивный алгоритм для конечных продуктов простых чисел
-2зной
1ответ
Структурные индукции в haskell. Списки и сумма
1зной
1ответ
Индукция по спискам - доказательство более сильной собственности (Haskell)
2зной
2ответ
Как реализовать индукцию по математике на Haskell
3зной
2ответ