Lean repository linked
Superdiffusion and anomalous regularization in self-similar random incompressible flows
arXiv:2601.22142 · arXiv
Lean formalisations (1)
scottnarmstrong/Superdiffusion at 7f20476385d4
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.