Kecocokan umum

Dipublikasikaké gawéan, kalebu kang panel ora bisa tekan bar. Hasil iku titik: formalizasi Lean kernel ora nampa ngandharaké sampeyan persis langkah kang argumen ora pernah dijamin.

Apa sing ana ing kene

Situs iki dibangun kanggo karya deduktif: matematika murni lan ditrapaké, logika, ilmu komputer teoritis, fisika teoritis lan teori ekonomi - klaim sing ditemtokake kanthi bukti tinimbang kanthi eksperimen. Kanggo pitakon empiris, ing ngendi verdict jujur iku asil tinimbang teorema, gunakake situs kanca kita referee.chat.

Pindhah menyang referee.chat