IntersectMBO / IntersectMBO/formal-ledger-specifications

Conway era translation

Open
#47 1 comment 0 reactions 0 assignees View on GitHub
era: babbage era: conway
Dominant language
Agda
Stars
52
Forks
20
Avg merge
6d 14h
Merged PRs (30d)
7

Description

This is the companion to https://github.com/input-output-hk/cardano-ledger/issues/3160

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.