4зной
2ответ
Профилактическая автоматизация в Coq как разложить фактор
0зной
2ответ
Докажите, что p^3 - 1 является составным числом, заданным P> 2
1зной
1ответ
Что такое «обходное доказательство» в предложениях как типы П. Вадлера?
0зной
3ответ
Каков наилучший способ написания математических доказательств в Интернете?