Lean repository linked
A density deficit for sums of three cube-full numbers
arXiv:2609.35772 · arXiv
Lean formalisations (1)
plasma-ai/erdos-940 at 491733e39642
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.