Formalizing dimensional analysis using the Lean theorem prover

Maxwell P. Bobbin, Colin Jones, John Velkey +1

Dimensional analysis is fundamental to the formulation and validation of physical laws, ensuring that equations are dimensionally homogeneous and scientifically meaningful. In this…