Lean repository linked
The smoothest average and some extremal problems for polynomials
arXiv:2604.25074 · arXiv
Lean formalisations (1)
jaumededios/sharp_smoothing at 26a961ce3233
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.