La Verifica Formale è una parte fondamentale di Lean Ethereum. Ecco una spiegazione