IntersectMBO / IntersectMBO/plutus

Adapt Behavioural proof CK-CEK to SOPs in the metatheory

Open
#6,106 5 comments 0 reactions 0 assignees View on GitHub
Internal Metatheory status: triaged
Dominant language
Haskell
Stars
1.6k
Forks
508
Avg merge
3d 10h
Merged PRs (30d)
22

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.