Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Butterfly certificate verification
whole_conclusion/: A passing independent grade covers the all-order graph construction and refutation of the proposed constant, preserving checker and isolation limitations.
The whole-conclusion record retains the exact subject, independent arithmetic keepers, adverse controls and the separate grade, at their stated scopes.
Graph