1зной
1ответ
rewrite работает для целого числа, но не для рациональных для Coq aac_tactics
1зной
1ответ
Какое правильное использование для Coq «локальное применение тактики»?
4зной
2ответ
Разбивая равенство конструкторов Coq
3зной
3ответ
Объединить дубликаты в матче Coq
0зной
2ответ
Синтаксис Coq для теоремы, охватывающий случаи отрицания и с тремя аргументами