XRP Milestone Alert: XRPL Payments Engine Gets First-Ever Formal Specification
This marks an important step toward bringing formal verification, a standard used in banking and aerospace, to core XRP Ledger components.
🐂
—
🐻
