RippleX Applies Formal Verification to XRP Ledger Lending System | Intellectia.AI