Formal Verification - Lean4 Integration#7786

Open

ivan-randjelovic-cp wants to merge 10 commits into

XRPLF:developfrom

commonprefix:number-lt-fv

Commits on Jul 1, 2026

Formal Verification - Number.operator_lt and build config
ivan-randjelovic-cp
committed

Commits on Jul 2, 2026

Added comments and Lean 4 introduction
ivan-randjelovic-cp
committed
Removed trailing underscores for Number fields, added c++ code examples
ivan-randjelovic-cp
committed

Commits on Jul 3, 2026

Changes in README.md for FV
ivan-randjelovic-cp
committed

Commits on Jul 9, 2026

Commits on Jul 10, 2026