Abstract
Theories in chemical physics can be reconstructed in a formal language using the interactive theorem prover, Lean. Lean’s ability to check math theorems catches faulty logic and reveals hidden assumptions that are missed in informal derivations.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have