Verifikasi Formal adalah bagian inti dari Lean Ethereum. Berikut penjelasannya