2зной
2ответ
Доказательство равенства на коиндуктивных ленивых списках в Coq
0зной
1ответ
6зной
1ответ
Ссылка «X» не найдена в текущей среде
1зной
1ответ
Несколько заданий в разделе Coq let
3зной
1ответ
Как переписать «+ 1» (плюс один) в «S» (succ) в Coq?