Login / Signup

Formalizing Chemical Theory using the Lean Theorem Prover.

Maxwell P. BobbinSamiha SharlinParivash FeyzishendiAn Hong DangCatherine M. WrabackTyler R. Josephson
Published in: CoRR (2022)
Keyphrases