0зной
2ответ
Как сделать анализ случая по длине списка в Coq?
3зной
1ответ
2зной
3ответ
Как выполнить вычисление ровно один раз в Coq?
2зной
1ответ
2зной
2ответ
Как доказать (n = n) = (m = m) в Coq?
2зной
1ответ
Печать сообщения, только если тактика удалась
2зной
2ответ