5 citations · 6 across the 5 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…