TY  - RPRT
TI  - Formalizing Chemical Physics using the Lean Theorem Prover
AU  - Maxwell P. Bobbin
AU  - Samiha Sharlin
AU  - Parivash Feyzishendi
AU  - An Hong Dang
AU  - Catherine M. Wraback
AU  - Tyler R. Josephson
PY  - 2023
UR  - https://arxiv.org/abs/2210.12150
ID  - 2210.12150
ER  -