@misc{indiciae36fc48d6b838,
  title = {Formalizing dimensional analysis using the Lean theorem prover},
  author = {Maxwell P. Bobbin and Colin Jones and John Velkey and Tyler R. Josephson},
  year = {2025},
  url = {https://arxiv.org/abs/2509.13142},
  note = {Source identifier: 2509.13142}
}