1зной
1ответ
Открываются нотацию в пределах области
0зной
1ответ
Проверка всех элементов списка в coq
0зной
1ответ
сравнивающие два неравных значения в Coq
1зной
1ответ
Неконструктивные доказательства в Coq?
1зной
1ответ
Coq формат обозначения двойного квадрата брекет
2зной
1ответ
Могу ли я заставить Coq печатать круглые скобки?
2зной
2ответ
Доказательство равенства на коиндуктивных ленивых списках в Coq
4зной
1ответ
Почему я не могу использовать `app` вместе с` fold_right` в Coq?