IntersectMBO / IntersectMBO/cardano-ledger

Constraints and properties for GOVCERT rule

Open
#3,812 3 comments 0 reactions 0 assignees View on GitHub
ConwayEra
Dominant language
Haskell
Stars
295
Forks
179
Avg merge
4d 7h
Merged PRs (30d)
29

Description

This issue has no description.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.