3зной
1ответ
Сводка противоречия typechecks в Idris
1зной
1ответ
Идрис переписывает тактик не работает, как ожидалось
1зной
2ответ
Доказательство st X + st Y = st Y + (st X - 1) + 1 с использованием Coq
2зной
1ответ
Рекурсивный алгоритм для пар круглых скобок
0зной
1ответ
Доказательство рекурсивного алгоритма
5зной
1ответ