Veřejné zápasy

Vydané běží, včetně těch, kde panel nemohl dosáhnout baru. To je výsledek: formalizace Lean jádro odmítá vám přesně, který krok argument nikdy odůvodněno.

Zatím žádné veřejné zápasy. Začněte jeden a publikovat ho, až skončí.

Co patří sem

Tato stránka je postavena pro deduktivní práci: čistá a aplikované matematiky, logiky, teoretické informatiky, teoretické fyziky a ekonomické teorie? tvrdí, že jsou urovnány důkazy, spíše než experimentem. Pro empirické otázky, kde poctivý verdikt je nález, spíše než věta, použijte naše sestra stránky referee.chat místo.

Přejít na referee.chat