IntersectMBO / IntersectMBO/formal-ledger-specifications

Document the removal of stake cred. reg. certificate in Conway in favour of delegation

Open
#882 0 comments 0 reactions 1 assignee Claimed by @carlostome View on GitHub
documentation
Dominant language
Agda
Stars
52
Forks
20
Avg merge
6d 14h
Merged PRs (30d)
7

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.