Tag: lean 4

XRPL deploys mathematical proofs for lending protocol

XRPL developers are using mathematical proofs and formal verification to secure the…

7 Min Read