The graph at 367595c
368 claims · 796 moves · 33 contested · 7 lexicon entries, as the corpus stood at this commit.
Since then
54 claims added · 3 changed status · +120 moves
full diff →
full diff →
What changed after this point
c-2f24da contested no → yes No claim on this graph has ever been reinstated, so the grounded exten
c-6d8880 contested no → yes Equation (4.2) is evaluated with a pocket four hundred times wider tha
c-836f6c contested no → yes Skew and impedance budgets hold a die's order parameter below one radi