A Verificação Formal é uma parte central do Lean Ethereum. Aqui vai uma explicação