TY  - RPRT
TI  - Brownian Motion in Isabelle/HOL
AU  - Christian Pardillo Laursen
AU  - Simon Foster
AU  - Mark Post
PY  - 2024
UR  - https://arxiv.org/abs/2410.14718
ID  - 2410.14718
ER  -