Javni mečevi

Objavljene su vožnje, uključujući one gdje panel nije mogao doći do trake. Taj ishod je poenta: formalizacija Lean kernel odbija vam kaže tačno koji korak argument nikada nije opravdan.

Još nema javnih podudaranja. Započni jedno i objavi ga kad završi.

Što pripada ovdje

Ova stranica je napravljena za deduktivni rad: čista i primijenjena matematika, logika, teorijska računarska nauka, teorijska fizika i ekonomska teorija - tvrdnje koje se rješavaju dokazima umjesto eksperimentima. Za empirijska pitanja, gdje je iskrena presuda otkriće umjesto teorema, umjesto toga koristite našu sestrinsku stranicu referee.chat.

Idi na referee.chat