Formal verification of Morpho Blue lending protocol using Verity (Lean 4) - View it on GitHub