Chemical Case Studies in KeYmaera X

Formalizing chemical physics using the Lean theorem prover

“…35 But broadly, these questions have not been addressed using theorem provers to check the mathematics, which have seen limited use in the chemical sciences. One notable application by Bohrer 36 uses a proof assistant that reasons about differential equations and control algorithms 37 to describe and prove properties of chemical reactors.…”