Lean repository linked
Limit shapes for centrally excited walks
arXiv:2610.10162 · arXiv
Lean formalisations (1)
nitromannitol/Centrally-Excited-Random-Walk at 411431c4b4ed
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.