Ang pampublikong gallery

Nai-publish na tumatakbo, kabilang ang mga kung saan ang panel ay hindi maabot ang bar. Na resulta ay ang punto: isang pormal na Lean kernel tumanggi nagsasabi sa iyo eksakto kung aling hakbang ang argument hindi kailanman justified.

Ano ang nauukol dito

Ang site na ito ay binuo para sa deductive trabaho: purong at inilapat matematika, lohika, panteorya computer science, panteorya physics at pang-ekonomiya teorya - claims na ay settled sa pamamagitan ng patunay sa halip na sa pamamagitan ng eksperimento. Para sa empirical mga katanungan, kung saan ang tapat na pasiya ay isang natuklasan sa halip na isang teorama, gamitin ang aming kapatid na site referee.chat sa halip.

Pumunta sa referee.chat