Formalizing Chemical Theory using the Lean Theorem Prover. - Maxwell P. Bobbin; Samiha Sharlin; Parivash Feyzishendi; An Hong Dang; Catherine M. Wraback; Tyler R. Josephson (CoRR, 2022)