5зной
1ответ
Помощь с доказательством Coq подпоследовательностями
4зной
4ответ
Как доказать (forall x, P x/\ Q x) -> (forall x, P x) [In Coq]
3зной
2ответ
Доказывая предиката логики с использованием Coq - Beginner Синтаксис
20зной
5ответ
8зной
6ответ
Интерактивная система математического обоснования
2зной
1ответ
Как написать определения без аргументов в Coq?