Lean repository linked

Dense sets without large sumsets

Gabriel Dahia, João Pedro Marciano, Victor Souza · 2026

arXiv:2607.15269 · arXiv

Lean formalisations (1)

gdahia/DenseSetsWithoutLargeSumsets at `59401cac8430`

Linked by the repository’s formalization.yaml.

Project review: unchecked

Audit: awaiting publication.

Report this listing