La Verificación Formal es una parte fundamental de Lean Ethereum. Aquí hay una explicación