@misc{indiciae96faa2f3f8dc,
  title = {Formalizing Chemical Physics using the Lean Theorem Prover},
  author = {Maxwell P. Bobbin and Samiha Sharlin and Parivash Feyzishendi and An Hong Dang and Catherine M. Wraback and Tyler R. Josephson},
  year = {2023},
  url = {https://arxiv.org/abs/2210.12150},
  note = {Source identifier: 2210.12150}
}