Capacity Atlas

Correct an entry

Point out an error in an entry or the site.

State the bound and its assumptions, with a primary source.

Add a bound

Describe the capacity question and cite a primary source.

Propose a Lean contribution.

To add a problem, create a record, edit it, then validate it:

uv run --locked capacity-atlas new my-problem
uv run --locked capacity-atlas validate data/problems/my-problem.yaml

For research questions and proof ideas, use Discussions.