Formele verificatie is een essentieel onderdeel van Lean Ethereum. Hier is een uitleg