La verificación formal es una parte fundamental de Lean Ethereum. Aquí tienes una explicación