Lean repository linked
Moments and growth indices for the nonlinear stochastic heat equation with rough initial conditions
arXiv:1307.0600 · arXiv
Lean formalisations (1)
chenle02/chen-dalang-2015-moments-lean at e26ac0b17ca7
Linked by the repository’s formalization.yaml.
Project review: unchecked
Audit: awaiting publication.