LeanBET: Formally-verified surface area calculations in Lean. - Ejike D. Ugwuanyi; Colin T. Jones; John Velkey; Tyler R. Josephson (CoRR, 2026)