Josephson et al.‘s paper “Formalizing chemical physics using the Lean theorem prover” is featured on a new episode of the Breaking Math podcast! Find it at the links below or in your favourite podcatcher.
Read the open access article here.
“Formalizing chemical physics using the Lean theorem prover” featured on Breaking Math
19 Mar 2024