Pertandingan publik
Diterbitkan berjalan, termasuk yang mana panel tidak dapat mencapai bar. Hasil itu adalah titik: sebuah formalisasi kernel Lean menolak memberitahu Anda persis mana langkah argumen tidak pernah dibenarkan.
Apa yang seharusnya ada di sini
This site is built for deductive work: pure and applied mathematics, logic, theoretical computer science, theoretical physics and economic theory — claims that are settled by proof rather than by experiment. For empirical questions, where the honest verdict is a finding rather than a theorem, use our sister site referee.chat instead.
Go to referee.chat