Verejné zápasy

Publikované preteky, vrátane tých, kde panel nemohol dosiahnuť bar.Tento výsledok je bod: formalizácia Lean kernel odmieta vám povie presne, ktorý krok argument nikdy neodôvodnil.

Zatiaľ žiadne verejné zápasy. Začnite jeden a zverejnite ho, keď skončí.

Čo sem patrí

Táto stránka je určená pre deduktívne práce: čistá a aplikovaná matematika, logika, teoretická informatika, teoretická fyzika a ekonomická teória - tvrdenia, ktoré sa riešia skôr dôkazom ako experimentom.Pre empirické otázky, kde je čestný verdikt skôr nálezom ako teóriou, použite namiesto toho našu sesterskú stránku referee.chat.

Prejsť na referee.chat