Lean repository linked
Formalization of Brownian motion in Lean
arXiv:2511.20118 · arXiv
Lean formalisations (1)
mrdouglasny/bochner at 58405ecd328c
Linked by the repository’s formalization.yaml.
Project review: self-assessed
Audit: awaiting publication.