Formalizing Chemical Theory using the Lean Theorem Prover.
Maxwell P. BobbinSamiha SharlinParivash FeyzishendiAn Hong DangCatherine M. WrabackTyler R. JosephsonPublished in: CoRR (2022)
Keyphrases
- theorem prover
- computer algebra
- boolean algebra
- theorem proving
- automated reasoning
- first order logic
- inference rules
- term rewriting
- formal semantics
- automated deduction
- automated theorem proving
- formal proof
- higher order logic
- natural deduction
- theoretical framework
- predicate calculus
- set theory
- computer algebra systems