The graph at 8c09e5f
346 claims · 749 moves · 33 contested · 7 lexicon entries, as the corpus stood at this commit.
Since then
76 claims added · 2 changed status · +167 moves
full diff →
full diff →
What changed after this point
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