Formální ověřování je základní součástí Lean Etherea. Tady je vysvětlení