Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Lemmas
finite_blocks: A complete elementary proof of the sufficient finite-block criterion and finite determination of coloring.
Linked from (1)
Graph