Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the two-scale triangle argument
verify/: Independent whole-conclusion scrutiny, its separate grade and the evidence needed to reproduce the finite arithmetic.
The whole-conclusion record identifies the exact argument examined, its accepted scope and the source boundaries. The mathematical evidence consists of the retained derivations and a finite rational check; the check alone does not prove the plane coloring conclusion.
Graph