Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claims
2024_08_05_steiner: Infinitely many graphs with clique number 4, cochromatic number 4 and chromatic number 7, which disprove the Erdős–Gimbel–Straight conjecture; published in SIAM J. Discrete Math.; a third-party Lean proof is linked.
Linked from (1)
Graph