formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Express ledger properties via cochain equations

Open WhatisRT opened this issue 1 year ago • 0 comments

I didn't have time for this in a long time, and there's a good chance there won't be time for it for a while, so I'm opening this issue to not forget about it. See #33

WhatisRT avatar Dec 14 '23 13:12 WhatisRT