formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard
verified publisher icon IntersectMBO

Rename `BaseAddr`

Open WhatisRT opened this issue 1 year ago • 0 comments

See https://github.com/IntersectMBO/formal-ledger-specifications/issues/619#issuecomment-2520249922

WhatisRT avatar Dec 05 '24 12:12 WhatisRT