@misc{indiciae8e24bf098f6f,
  title = {A Machine-Checked Itô Calculus for Brownian Motion},
  author = {Raphael Coelho},
  year = {2026},
  url = {https://arxiv.org/abs/2606.15089},
  note = {Source identifier: 2606.15089}
}