4 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…