Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the all-sequence span bound
verify/: Whole-statement report and separate grade of the two one-sided sequence bounds and their separate extremal consequences.
The verification record retains the full mathematical subject, independent arguments, attacks and grade. The proof is analytic and needs no executable checker.
Graph