Lean repository linked
Deletion thresholds and exponential examples for complete sequences
arXiv:2609.25107 · arXiv
Lean formalisations (1)
IamMikeHelsel/erdos-348-lean at 3c73026398ee
Linked by the repository’s formalization.yaml.
Project review: agent-reviewed
Audit: awaiting publication.