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

Upstream lemmas from `Ledger.Conway.Conformance.Equivalence.Map`

Open WhatisRT opened this issue 1 year ago • 0 comments

That file has lots of lemmas that should live in https://github.com/input-output-hk/agda-sets.

WhatisRT avatar Jan 14 '25 14:01 WhatisRT