Erdős Problem 278: Formulas and Complexity of Maximum Covered Density
Paper and reproducibility companion, V1
Michael Schroeder, 2026
ORCID 0009-0004-3249-0195
Reserved DOI 10.5281/zenodo.22874487

The original code and build helpers are licensed under Apache License 2.0.
The paper, original documentation and original audit outputs are CC BY 4.0.
See RIGHTS.md for the allocation of licenses and the scope of these grants.

This distribution includes selected sources from:

PrimeNumberTheoremAnd — its contributors
https://github.com/AlexKontorovich/PrimeNumberTheoremAnd
Commit a5154676af9aa3095150ee410cdda80555aa0642
Apache License 2.0; see lean/vendor/prime-number-theorem/LICENSE.

LeanArchitect — its contributors
https://github.com/hanwenzhu/LeanArchitect
Commit d9013cc08bd2b5483e837368dfa4cc7ead92a5c2
Apache License 2.0; see lean/vendor/lean-architect/LICENSE.

Original upstream copyright and authorship notices remain in the source files.
The documented unused block omission in the vendored Wiener.lean predates this
deposit preparation; no further third-party source modifications were made.
See lean/vendor/README.md and lean/ANALYTIC_DEPENDENCY.md for exact scope.
