LeanBET: Formally-verified surface area calculations in Lean

Ejike D. Ugwuanyi, Colin T. Jones, John Velkey +1

The Brunauer--Emmett--Teller (BET) method is a standard tool for estimating surface areas from adsorption isotherms, yet practical implementations involve multiple algorithmic step…