2зной
1ответ
Добавление полного дизъюнктивной предположение в Coq
3зной
1ответ
Неравенство рассуждения в Isabelle
5зной
1ответ
Как определить взаимные индуктивные предложения в Lean?
1зной
1ответ
0зной
3ответ
Можно ли доказать математические утверждения, в том числе факториалы с z3?