Publieke wedstrijden
Gepubliceerde runs, inclusief die waar het panel de bar niet kon bereiken. Dat resultaat is het punt: een formalisering die de Lean kernel weigert vertelt je precies welke stap het argument nooit gerechtvaardigd.
Wat hier hoort.
Deze site is gebouwd voor deductief werk: zuivere en toegepaste wiskunde, logica, theoretische computerwetenschap, theoretische natuurkunde en economische theorie.. beweert dat worden geregeld door bewijs in plaats van door experiment. Voor empirische vragen, waar de eerlijke uitspraak is een bevinding in plaats van een stelling, gebruik onze zuster site referee.chat in plaats daarvan.
Ga naar referee.chat