2зной
2ответ
Можно ли доказать теоремы в coq (или вообще) без использования ранее доказанных лемм?
1зной
2ответ
Linear Temporal Logic (LTL) вопросы
0зной
1ответ
Почему насосное лемму для CFG не работает
2зной
1ответ
OCaml Доказательства по структурной индукции
-1зной
1ответ
0зной
1ответ
Как использовать применить для «извлечения» импликации в Coq
1зной
2ответ
Haskell: Правда ли, что приложение-функция распределяет по конкатенации списка?