Lean repository linked
Four-digit Kaprekar dynamics in odd bases
arXiv:2606.20439 · arXiv
Lean formalisations (1)
AxiomMath/kaprekar4 at 8d2a2800dfd9
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.