Verificarea formală este o parte esențială a Lean Ethereum. Iată o explicație