1 paper
Maxwell P. Bobbin, Samiha Sharlin, Parivash Feyzishendi +3
Chemical theory can be made more rigorous using the Lean theorem prover, an interactive theorem prover for complex mathematics. We formalize the Langmuir and BET theories of adsorp…