The graph at ae397f9
364 claims · 789 moves · 33 contested · 7 lexicon entries, as the corpus stood at this commit.
Since then
58 claims added · 3 changed status · +127 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