Explainers and case studies on formally verifying DeFi smart contracts in Lean.
- Part 1 — You Can Formally Verify Your Smart Contract Today. Here's How.
- Part 2 — When the Proof Refuses, You're Looking at an Attack.
- Lending Market — Formal verification of the Morpho Market core logic.