Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence
verify/: Records the independent analytic whole-proof review and its distinct grade for Theorem 3.2, with the exact subject and scope limitations retained.
The verification records support the analytic Theorem 3.2 reconstruction. The exact reviewed subject is retained in the subject attachment. These records do not verify the later structural exclusions or the final computational bound.
Graph