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.

Ora ana match publik. Mulakake siji lan publikasiaké nalika wis rampung.

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