Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Standing
One row per claim, generated from claim _index.md frontmatter. The ledger lemmas.md carries the exact statements; look up one row with grep '^| L17 |' wiki/lemmas.md. Regenerate with erdos ledger; hand edits are overwritten.
| id | claim | area | status | tier | lean |
|---|---|---|---|---|---|
| L17 | rainbow odd cycle threshold | ramsey_theory | proved | 2 | Erdos.L17.claim |
Linked from (1)
Graph