Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the exceptional-width construction
verify/: Whole-conclusion review and separate grading, with the source and formulation limits retained.
The examination and separate grade retain the proof, its external premises and the distinction between the accepted construction and its unproved stronger-width aside. The argument is noncomputational and requires no executable certificate.
Graph