2 papers
physics.chem-ph2025
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…
cs.LO2022
Formalizing Chemical Physics using the Lean Theorem Prover
Maxwell P. Bobbin, Samiha Sharlin, Parivash Feyzishendi +3
Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorp…