Verifying Chemical Reaction Networks with the Isabelle Theorem Prover. - James I. Lathrop; Peter-Michael Osera; Addison W. Schmidt; Jesse Slater (Allerton, 2023)