Публічныя суадносіны
Выкананне апублікаваных запускаў, уключаючы тыя, дзе панель не можа дасягнуць лініі. Гэты вынік - гэта значыць: фармалізацыя, ад якой адмаўляецца ядра Lean, кажа вам, які крок аргумента не быў правераны.
Што тут
Гэты сайт створаны для дэдуктыўных работ: чыстай і прымяняльнай матэматыкі, логікі, тэарэтычных камп' ютэрных навук, тэарэтычнай фізікі і эканамічнай тэорыі - сцвярджэнні, якія вырашаюцца доказамі, а не эксперыментамі. Для эмпірычных пытанняў, дзе справядлівы вердыкт - гэта знаходжанне, а не тэорыя, выкарыстоўвайце наш суседні сайт referee.chat.
Перайсці да referee.chat