LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm - View it on GitHub