cardano-ledger icon indicating copy to clipboard operation
cardano-ledger copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Constraints and properties for GOV rule

Open lehins opened this issue 1 year ago • 0 comments

Constraint based testing framework is mature enough to support Conway.

We need to add properties for the GOV rule

lehins avatar Oct 10 '23 15:10 lehins