Die formale Verifikation ist ein zentraler Bestandteil von Lean Ethereum. Hier ist eine Erklärung