Kecocokan umum

Dipublikasikeun jalan, kaasup anu panel teu bisa ngahontal bar. Hasilna nyaéta titik: hiji formalisasi kernel Lean teu ditarima nyaritakeun ka anjeun pasti naon langkah argumen anu teu pernah dibuktikeun.

Apa sing ana ing kene

Situs ieu diwangun pikeun karya deductive: murni jeung matematika diterapkeun, logika, teori komputer sains, teori fisika jeung teori ekonomi - klaim anu ditetepkeun ku bukti tinimbang ku eksperimen. Pikeun patarosan empiris, dimana verdict jujur nyaéta hiji manggihan tinimbang hiji teorema, ngagunakeun urang sister site referee.chat sabalikna.

Pindah menyang referee.chat