RethLab
EN
レッスン6 — Capstone — openhl-liquidation の `InsuranceFund` を Solidity へ port し 4 つの invariant を証明する