A Verificação Formal é uma parte fundamental do Lean Ethereum. Aqui está uma explicação