TY  - RPRT
TI  - Formalizing dimensional analysis using the Lean theorem prover
AU  - Maxwell P. Bobbin
AU  - Colin Jones
AU  - John Velkey
AU  - Tyler R. Josephson
PY  - 2025
UR  - https://arxiv.org/abs/2509.13142
ID  - 2509.13142
ER  -