Analysis of Boolean Functions in Lean