1зной
1ответ
Доказательства на перестановках с Coq доказательства помощник
3зной
1ответ
Как понять определение Setoid категории?
2зной
1ответ
2зной
1ответ
Как доказать двоичную коммутацию с другим определением bin?
0зной
1ответ
forward_call с локальными переменными
1зной
6ответ
Как доказать, что две реализации Фибоначчи в Coq равны?
2зной
2ответ
Coq: Докажите равенство двух факториальных функций с использованием индукции